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
  • Example
  • FAQ

Was this helpful?

  1. Modeling

Conclusion

PreviousHierarchical ILANextSynthesis

Last updated 6 years ago

Was this helpful?

Example

  • : an example of a manually defined ILA model.

FAQ

  • Does ILAng perform any form of simplification on the model? Currently, ILAng only have AST simplification based on the hash value over the topological structure. More aggressive simplification such as functional reduction may be supported in the future.

aes