> For the complete documentation index, see [llms.txt](https://bo-yuan-huang.gitbook.io/ilang/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://bo-yuan-huang.gitbook.io/ilang/synthesis.md).

# Synthesis

This section covers how to synthesize an ILA formal model using the template-based synthesis engine [ItSy](https://github.com/PrincetonUniversity/ItSy), an implementation of [TCAD18](https://bo-yuan-huang.github.io/ILAng-Doc/tcad18.pdf). You will learn how to write a synthesis template and to interface the design simulator.

{% hint style="warning" %}
This guide only shows a selected list of features. A more complete (but out-dated) document and tutorial can be found in [conclusion](/ilang/synthesis/example.md). 
{% endhint %}