Resource

• ISCAS-85 Benchmarks
• ISCAS-89 Benchmarks

* total number of lines in the netlist ………….. 17
* simplistically reduced equivalent fault set size = 22
* lines from primary input gates ……. 5
* lines from primary output gates ……. 2
* lines from interior gate outputs …… 4
* lines from ** 3 ** fanout stems … 6
* avg_fanin = 2.00, max_fanin = 2
* avg_fanout = 2.00, max_fanout = 2

1 1gat inpt 1 0 >sa1
2 2gat inpt 1 0 >sa1
3 3gat inpt 2 0 >sa0 >sa1
8 8fan from 3gat >sa1
9 9fan from 3gat >sa1
6 6gat inpt 1 0 >sa1
7 7gat inpt 1 0 >sa1
10 10gat nand 1 2 >sa1
1 8
11 11gat nand 2 2 >sa0 >sa1
9 6
14 14fan from 11gat >sa1
15 15fan from 11gat >sa1
16 16gat nand 2 2 >sa0 >sa1
2 14
20 20fan from 16gat >sa1
21 21fan from 16gat >sa1
19 19gat nand 1 2 >sa1
15 7
22 22gat nand 0 2 >sa0 >sa1
10 20
23 23gat nand 0 2 >sa0 >sa1
21 19

Each line gives the information about a single gate. Here, fanout branches and primary inputs are considered as gates.

Each record appears on a separate line. The format of a record is as follows:

• <gate type> <number of outputs (fanout)> <number of inputs (fanin)> <fault type> <list of inputs, if any>, where

• <gate type> is one of the following. and, or, not, nand, nor, xor, xnor, buff (buffer), fan (fanout branch), and inpt (primary input) \

• <fault type> is either >sa0 or >sa1 or both depending on which fault (stuck-at 0 or stuck-at 1) is active on the output of the gate. The faults on primary inputs appear on the outputs of inpt gates.

• Fanin of inpt is zero, and hence the list of inputs is empty. The fanout of a primary output is zero. Any line that begins with an * is a comment.