The self format (.ckt) is a gate-level description format of digital circuit netlists, specifically designed for test purposes that only integers to represent circuit information.
File Extension:
.blif
Lastest Version (v2.1):
Released: April 1st, 2023
Update:
XNOR.gtype = 8
BUF.gtype = 9
For a GATE (ntype = 0) and PO (ntype=3), gtype cannot be 0 or 1
Unresolved: a line can't be PI/PO at the same time (e.g. c2670 and c7552)