Lorina

Lorina is a C++ library to parse logic synthesis recurrent file formats. LSOracle uses the And-Inverter Graph (AIG) reader from lorina. Also, the Verilog writer was extended to output sequential circuits, so that sequential Majority-Inverter Graphs (MIGs) can be functionally verified, and used in further steps of the ASIC flow.

The Lorina full documentation is available here.