Table of contents 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