Miodrag Milanovic 4fd8b38d7a Add -no-startoffset option to write_aiger

2022-03-25 08:44:45 +01:00

..

aiger.cc

Add -no-startoffset option to write_aiger

2022-03-25 08:44:45 +01:00

Makefile.inc

Add write_xaiger

2019-02-11 15:18:42 -08:00

xaiger.cc

sta: very crude static timing analysis pass

2021-11-25 17:20:27 +01:00