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
  • ILAng Python interface
  • Synthesis engine

Was this helpful?

  1. Getting Started

ILAng with Python

PreviousILAng with CMakeNextILAng in Docker

Last updated 4 years ago

Was this helpful?

ILAng Python interface

The Python API will be deprecated and thus no future official support.

Synthesis engine

As part of the ILAng platform, (ILA synthesis engine) provides a Python API for writing synthesis templates, interfacing simulator, and scripting the synthesis process. To build the Python module:

cd itsy/root/dir
bjam -j$(nproc)

The Python module ila.so will be available in the build directory. Run or add the following command in your .bashrc file to set the path:

export PYTHONPATH=$(pwd)/build:$PYTHONPATH

Once the path is set properly, you can then access the synthesis Python module:

import ila
abs = ila.Abstraction("test")
ItSy