Martin Povišer 495a7805ec aiger2: Support $extern: hierarchy ...

`$extern:...` modules inserted by `techmap -extern` are special in the
regard that they have a private ID (starting with a dollar sign) but are
not an internal cell. Support those modules in xaiger export.

2024-12-10 14:27:29 +01:00

..

aiger.cc

aiger2: Support $extern: hierarchy

2024-12-10 14:27:29 +01:00

Makefile.inc

Start an 'aiger2' backend

2024-09-17 13:55:58 +02:00