ILAng
  • Introduction
  • Getting Started
    • Installing ILAng
    • ILAng with CMake
    • ILAng with Python
    • ILAng in Docker
  • Modeling
    • ILA Model
    • Architectural States
      • Expressions
      • Uninterpreted function
    • Instructions
    • Hierarchical ILA
    • Conclusion
  • Synthesis
    • Writing Templates
    • Interfacing Simulators
    • Synthesis Results
    • Conclusion
  • Verification
    • Refinement Relation
    • Verification Target
    • Examples
    • Notes
  • Development
    • Release Notes
Powered by GitBook
On this page

Was this helpful?

Synthesis

PreviousConclusionNextWriting 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