SELF Format Manual

Introduction:

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)

Syntax:

Do's and Don'ts:

Do:
- Description only includes integer values
- End line (node) is defined in a single line.
Don't:
- There are no branches stacked to other branches.

Example:

# c17 in SELF Format 

1 1	0 2	0
1 2	0 2	0
1 3	0 2	0
2 4	1 1
2 5	1 2
2 6	1 1
2 7	1 2
0 8	2 2	2 4 5
2 9	1 8
2 10 1 8
2 11 1 3
2 12 1 3
3 13 2 0 2 9 11
0 14 7 1 2 10 12
0 15 7 1 2 6 7
3 16 3 0 2 14 15