ILAng-Doc
  • 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
  • Example
  • FAQ
  • Other sources
  1. Synthesis

Conclusion

PreviousSynthesis ResultsNextVerification

Last updated 3 years ago

Example

  • : an example of writing templates, interfacing the simulator, and exporting the synthesized results.

FAQ

  • What does it mean by "cannot retrieve synthesis result"? It usually means that the search space you defined have overlapping or conflicts.

Other sources

The is itself an independent self-contained tool. There are several more detailed documentations and materials. (Note: some of them are not updated frequently.)

  • []

  • []

  • []

AES-RTL-C
synthesis engine
ItSy user manual
ItSy tutorial
ItSy tutorial