Synthesis

This section covers how to synthesize an ILA formal model using the template-based synthesis engine , an implementation of . 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 .

PreviousConclusion NextWriting Templates

Last updated 6 years ago

Was this helpful?

This section covers how to synthesize an ILA formal model using the template-based synthesis engine , an implementation of . 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 .

ItSy

TCAD18

conclusion