-
Notifications
You must be signed in to change notification settings - Fork 1
/
output.txt
86 lines (86 loc) · 2.06 KB
/
output.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
Enter the number of nodes (Branching points, gates, inputs, outputs):
Enter the number of edges (Wires):
Enter connections in netlist format (node1 node2 wirenum):
Enter the type of node:
-2: output
-1: input
0: branching point
1: AND
2: OR
3:NAND
4:NOR
5:XOR
6:XNOR
7: NOT
0 -> 4 50 ;
1 -> 4 51 ;
2 -> 5 52 ;
3 -> 5 53 ;
4 -> 6 54 ;
5 -> 6 55 ;
6 -> 7 56 ;
7 ->
Node 0 is of type -1
Node 1 is of type -1
Node 2 is of type -1
Node 3 is of type -1
Node 4 is of type 5
Node 5 is of type 5
Node 6 is of type 1
Node 7 is of type -2
Considering s-a-0 for wire 50
Test Complete
Test Vector: 1 1 0 1
Path (Format: Edge-[Node]): 50-[4]-54-[6]-56-[7]-
Considering s-a-0 for wire 51
Test Complete
Test Vector: 1 1 0 1
Path (Format: Edge-[Node]): 51-[4]-54-[6]-56-[7]-
Considering s-a-0 for wire 52
Test Complete
Test Vector: 0 1 1 1
Path (Format: Edge-[Node]): 52-[5]-55-[6]-56-[7]-
Considering s-a-0 for wire 53
Test Complete
Test Vector: 0 1 1 1
Path (Format: Edge-[Node]): 53-[5]-55-[6]-56-[7]-
Considering s-a-0 for wire 54
Test Complete
Test Vector: 1 0 0 1
Path (Format: Edge-[Node]): 54-[6]-56-[7]-
Considering s-a-0 for wire 55
Test Complete
Test Vector: 0 1 1 0
Path (Format: Edge-[Node]): 55-[6]-56-[7]-
Considering s-a-0 for wire 56
Test Complete
Test Vector: x x x x
Path (Format: Edge-[Node]): 56-[7]-
Considering s-a-1 for wire 50
Test Complete
Test Vector: 0 1 0 1
Path (Format: Edge-[Node]): 50-[4]-54-[6]-56-[7]-
Considering s-a-1 for wire 51
Test Complete
Test Vector: 1 0 0 1
Path (Format: Edge-[Node]): 51-[4]-54-[6]-56-[7]-
Considering s-a-1 for wire 52
Test Complete
Test Vector: 0 1 0 1
Path (Format: Edge-[Node]): 52-[5]-55-[6]-56-[7]-
Considering s-a-1 for wire 53
Test Complete
Test Vector: 0 1 1 0
Path (Format: Edge-[Node]): 53-[5]-55-[6]-56-[7]-
Considering s-a-1 for wire 54
Test Complete
Test Vector: 1 1 0 1
Path (Format: Edge-[Node]): 54-[6]-56-[7]-
Considering s-a-1 for wire 55
Test Complete
Test Vector: 0 1 1 1
Path (Format: Edge-[Node]): 55-[6]-56-[7]-
Considering s-a-1 for wire 56
Test Complete
Test Vector: x x x x
Path (Format: Edge-[Node]): 56-[7]-