1.6.1. Toolchain

In Chapter 1, we discussed the essential components of a reusable module. However, relying on manual verification to ensure strict compliance with these established specifications is often impractical. Therefore, we must leverage a toolchain—a composition of various tools—to automate the process as much as possible. In this chapter, we will introduce some of the tools we are currently using, as well as those we have utilized in the past.