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
  • ILAng Python interface
  • Synthesis engine
  1. Getting Started

ILAng with Python

PreviousILAng with CMakeNextILAng in Docker

Last updated 3 years ago

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