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.

This guide only shows a selected list of features. A more complete (but out-dated) document and tutorial can be found in conclusion.