| proposed by | Francisco Azevedo fa@di.fct.unl.pt |
The 2 differentiation problem instances shown here come from a more complete set of benchmarks. One is for single faults; the other, for double faults. Both recur to the c1355 ISCAS'85 circuit. Circuit description (taken from http://www.eecs.umich.edu/~jhayes/iscas/ ) can be seen here.
The 2 benchmarks are labelled b1355_a_1b (single
faults) and b1355_a_2 (double faults). Each consists of a set of
diagnoses to differentiate. To make testing more exhaustive, and since there is
no 'real' circuit with a real fault, the goal is to partition such set into sets
of equivalence classes of diagnoses (since some diagnoses may be
indistinguishable) by means of pair-wise
differentiations.
Notice that diagnoses of double faults are not necessarily more difficult to
differentiate than single faults.
The sets of diagnoses for the 2 benchmarks are shown below, together with
the respective result of equivalence classes.
Diagnoses and respective Classes:
Benchmark: b1355_a_1b
| 5 Diagnoses | ['1081gat'/1], ['1177gat'/0], ['1258gat'/1], ['1307gat'/0], ['1339gat'/0] |
| 3 Classes | [[1258gat/1]], [[1339gat/0],[1307gat/0],[1177gat/0]], [[1081gat/1]] |
Benchmark: b1355_a_2
| 36 Diagnoses |
['1039gat'/1,'1051gat'/1],['1039gat'/1,'1147gat'/0],['1039gat'/1,'1238gat'/1],['1039gat'/1,'1297gat'/0],['1039gat'/1,'1329gat'/0],['1051gat'/1,'1230gat'/0],['1051gat'/1,'1231gat'/0],
['1051gat'/1,'1293gat'/1],['1051gat'/1,'1325gat'/1],['1147gat'/0,'1230gat'/0],['1147gat'/0,'1231gat'/0],['1147gat'/0,'1293gat'/1],['1147gat'/0,'1325gat'/1],['1230gat'/0,'1238gat'/1], ['1230gat'/0,'1297gat'/0],['1230gat'/0,'1329gat'/0],['1231gat'/0,'1238gat'/1],['1231gat'/0,'1297gat'/0],['1231gat'/0,'1329gat'/0],['1238gat'/1,'1293gat'/1],['1238gat'/1,'1325gat'/1], ['1293gat'/1,'1297gat'/0],['1293gat'/1,'1329gat'/0],['1297gat'/0,'1325gat'/1],['1325gat'/1,'1329gat'/0],['36gat'/0,'1039gat'/1],['36gat'/0,'1230gat'/0],['36gat'/0,'1231gat'/0], ['36gat'/0,'1293gat'/1],['36gat'/0,'1325gat'/1],['8gat'/1,'1051gat'/1],['8gat'/1,'1147gat'/0],['8gat'/1,'1238gat'/1],['8gat'/1,'1297gat'/0],['8gat'/1,'1329gat'/0],['8gat'/1,'36gat'/0] |
| 12 Classes | [[8gat/1,36gat/0]],
[[8gat/1,1238gat/1]],
[[8gat/1,1329gat/0],[8gat/1,1297gat/0],[8gat/1,1147gat/0]],
[[8gat/1,1051gat/1]], [[36gat/0,1325gat/1],[36gat/0,1293gat/1], [36gat/0,1231gat/0],[36gat/0,1230gat/0]], [[36gat/0,1039gat/1]], [[1238gat/1,1325gat/1],[1238gat/1,1293gat/1],[1231gat/0,1238gat/1],[1230gat/0,1238gat/1]], [[1325gat/1,1329gat/0],[1297gat/0,1325gat/1],[1293gat/1,1329gat/0],[1293gat/1,1297gat/0],[1231gat/0,1329gat/0],[1231gat/0,1297gat/0],[1230gat/0,1329gat/0], [1230gat/0,1297gat/0],[1147gat/0,1325gat/1],[1147gat/0,1293gat/1],[1147gat/0,1231gat/0],[1147gat/0,1230gat/0]], [[1051gat/1,1325gat/1],[1051gat/1,1293gat/1], [1051gat/1,1231gat/0],[1051gat/1,1230gat/0]], [[1039gat/1,1238gat/1]], [[1039gat/1,1329gat/0],[1039gat/1,1297gat/0],[1039gat/1,1147gat/0]], [[1039gat/1,1051gat/1]] |