Synthesis

This section covers how to synthesize an ILA formal model using the template-based synthesis engine ItSy, an implementation of TCAD18. You will learn how to write a synthesis template and to interface the design simulator.

Last updated

Was this helpful?