; BTOR description generated by Yosys 0.20+42 (git sha1 1c36f4cc2, clang 10.0.0-4ubuntu1 -fPIC -Os) for module decoder_3to8.
1 sort bitvec 1
2 input 1 en ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:55.9-55.11
3 input 1 C ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:54.25-54.26
4 input 1 B ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:54.17-54.18
5 input 1 A ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:54.9-54.10
6 sort bitvec 8
7 const 6 11111111
8 state 6 $anyconst$26 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:44.58-44.67
9 next 6 8 8
10 state 1 $anyconst$9 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:27.66-27.75
11 next 1 10 10
12 ite 6 10 8 7 $ternary$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:64$59 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:64.47-64.107
13 const 6 01111111
14 state 6 $anyconst$27 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:45.58-45.67
15 next 6 14 14
16 state 1 $anyconst$10 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:28.66-28.75
17 next 1 16 16
18 ite 6 16 14 13 $ternary$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:63$58 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:63.127-63.187
19 sort bitvec 2
20 concat 19 4 3
21 sort bitvec 3
22 concat 21 5 20
23 sort bitvec 4
24 concat 23 2 22
25 const 23 1111
26 state 23 $anyconst$25 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:43.58-43.67
27 next 23 26 26
28 state 1 $anyconst$8 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:26.66-26.75
29 next 1 28 28
30 ite 23 28 26 25 $ternary$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:63$56 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:63.68-63.123
31 eq 1 24 30 $eq$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:63$57 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:63.48-63.124
32 ite 6 31 18 12 $ternary$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:63$60 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:63.47-64.107
33 const 6 10111111
34 state 6 $anyconst$28 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:46.60-46.69
35 next 6 34 34
36 state 1 $anyconst$11 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:29.68-29.77
37 next 1 36 36
38 ite 6 36 34 33 $ternary$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:62$55 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:62.127-62.189
39 const 23 1110
40 state 23 $anyconst$24 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:42.58-42.67
41 next 23 40 40
42 state 1 $anyconst$7 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:25.66-25.75
43 next 1 42 42
44 ite 23 42 40 39 $ternary$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:62$53 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:62.68-62.123
45 eq 1 24 44 $eq$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:62$54 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:62.48-62.124
46 ite 6 45 38 32 $ternary$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:62$61 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:62.47-64.107
47 const 6 11011111
48 state 6 $anyconst$29 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:47.60-47.69
49 next 6 48 48
50 state 1 $anyconst$12 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:30.68-30.77
51 next 1 50 50
52 ite 6 50 48 47 $ternary$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:61$52 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:61.127-61.189
53 const 23 1101
54 state 23 $anyconst$23 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:41.58-41.67
55 next 23 54 54
56 state 1 $anyconst$6 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:24.66-24.75
57 next 1 56 56
58 ite 23 56 54 53 $ternary$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:61$50 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:61.68-61.123
59 eq 1 24 58 $eq$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:61$51 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:61.48-61.124
60 ite 6 59 52 46 $ternary$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:61$62 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:61.47-64.107
61 const 6 11101111
62 state 6 $anyconst$30 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:48.60-48.69
63 next 6 62 62
64 state 1 $anyconst$13 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:31.68-31.77
65 next 1 64 64
66 ite 6 64 62 61 $ternary$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:60$49 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:60.127-60.189
67 const 23 1100
68 state 23 $anyconst$22 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:40.58-40.67
69 next 23 68 68
70 state 1 $anyconst$5 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:23.66-23.75
71 next 1 70 70
72 ite 23 70 68 67 $ternary$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:60$47 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:60.68-60.123
73 eq 1 24 72 $eq$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:60$48 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:60.48-60.124
74 ite 6 73 66 60 $ternary$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:60$63 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:60.47-64.107
75 const 6 11110111
76 state 6 $anyconst$31 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:49.60-49.69
77 next 6 76 76
78 state 1 $anyconst$14 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:32.68-32.77
79 next 1 78 78
80 ite 6 78 76 75 $ternary$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:59$46 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:59.127-59.189
81 const 23 1011
82 state 23 $anyconst$21 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:39.58-39.67
83 next 23 82 82
84 state 1 $anyconst$4 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:22.66-22.75
85 next 1 84 84
86 ite 23 84 82 81 $ternary$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:59$44 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:59.68-59.123
87 eq 1 24 86 $eq$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:59$45 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:59.48-59.124
88 ite 6 87 80 74 $ternary$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:59$64 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:59.47-64.107
89 const 6 11111011
90 state 6 $anyconst$32 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:50.60-50.69
91 next 6 90 90
92 state 1 $anyconst$15 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:33.68-33.77
93 next 1 92 92
94 ite 6 92 90 89 $ternary$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:58$43 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:58.127-58.189
95 const 23 1010
96 state 23 $anyconst$20 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:38.58-38.67
97 next 23 96 96
98 state 1 $anyconst$3 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:21.66-21.75
99 next 1 98 98
100 ite 23 98 96 95 $ternary$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:58$41 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:58.68-58.123
101 eq 1 24 100 $eq$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:58$42 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:58.48-58.124
102 ite 6 101 94 88 $ternary$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:58$65 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:58.47-64.107
103 const 6 11111101
104 state 6 $anyconst$33 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:51.60-51.69
105 next 6 104 104
106 state 1 $anyconst$16 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:34.68-34.77
107 next 1 106 106
108 ite 6 106 104 103 $ternary$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:57$40 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:57.127-57.189
109 const 23 1001
110 state 23 $anyconst$19 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:37.58-37.67
111 next 23 110 110
112 state 1 $anyconst$2 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:20.66-20.75
113 next 1 112 112
114 ite 23 112 110 109 $ternary$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:57$38 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:57.68-57.123
115 eq 1 24 114 $eq$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:57$39 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:57.48-57.124
116 ite 6 115 108 102 $ternary$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:57$66 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:57.47-64.107
117 const 6 11111110
118 state 6 $anyconst$34 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:52.60-52.69
119 next 6 118 118
120 state 1 $anyconst$17 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:35.68-35.77
121 next 1 120 120
122 ite 6 120 118 117 $ternary$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:56$37 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:56.127-56.189
123 const 23 1000
124 state 23 $anyconst$18 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:36.58-36.67
125 next 23 124 124
126 state 1 $anyconst$1 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:19.66-19.75
127 next 1 126 126
128 ite 23 126 124 123 $ternary$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:56$35 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:56.68-56.123
129 eq 1 24 128 $eq$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:56$36 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:56.48-56.124
130 ite 6 129 122 116 $ternary$/home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:56$67 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:56.47-64.107
131 slice 1 130 0 0
132 output 131 Y0 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:53.80-53.82
133 slice 1 130 1 1
134 output 133 Y1 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:53.70-53.72
135 slice 1 130 2 2
136 output 135 Y2 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:53.60-53.62
137 slice 1 130 3 3
138 output 137 Y3 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:53.50-53.52
139 slice 1 130 4 4
140 output 139 Y4 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:53.40-53.42
141 slice 1 130 5 5
142 output 141 Y5 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:53.30-53.32
143 slice 1 130 6 6
144 output 143 Y6 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:53.20-53.22
145 slice 1 130 7 7
146 output 145 Y7 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:53.10-53.12
147 uext 6 118 0 __synth_literal_16 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:52.13-52.31
148 uext 6 104 0 __synth_literal_15 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:51.13-51.31
149 uext 6 90 0 __synth_literal_14 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:50.13-50.31
150 uext 6 76 0 __synth_literal_13 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:49.13-49.31
151 uext 6 62 0 __synth_literal_12 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:48.13-48.31
152 uext 6 48 0 __synth_literal_11 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:47.13-47.31
153 uext 6 34 0 __synth_literal_10 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:46.13-46.31
154 uext 6 14 0 __synth_literal_9 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:45.13-45.30
155 uext 6 8 0 __synth_literal_8 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:44.13-44.30
156 uext 23 26 0 __synth_literal_7 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:43.13-43.30
157 uext 23 40 0 __synth_literal_6 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:42.13-42.30
158 uext 23 54 0 __synth_literal_5 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:41.13-41.30
159 uext 23 68 0 __synth_literal_4 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:40.13-40.30
160 uext 23 82 0 __synth_literal_3 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:39.13-39.30
161 uext 23 96 0 __synth_literal_2 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:38.13-38.30
162 uext 23 110 0 __synth_literal_1 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:37.13-37.30
163 uext 23 124 0 __synth_literal_0 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:36.13-36.30
164 uext 1 120 0 __synth_change_literal_16 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:35.7-35.32
165 uext 1 106 0 __synth_change_literal_15 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:34.7-34.32
166 uext 1 92 0 __synth_change_literal_14 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:33.7-33.32
167 uext 1 78 0 __synth_change_literal_13 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:32.7-32.32
168 uext 1 64 0 __synth_change_literal_12 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:31.7-31.32
169 uext 1 50 0 __synth_change_literal_11 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:30.7-30.32
170 uext 1 36 0 __synth_change_literal_10 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:29.7-29.32
171 uext 1 16 0 __synth_change_literal_9 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:28.7-28.31
172 uext 1 10 0 __synth_change_literal_8 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:27.7-27.31
173 uext 1 28 0 __synth_change_literal_7 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:26.7-26.31
174 uext 1 42 0 __synth_change_literal_6 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:25.7-25.31
175 uext 1 56 0 __synth_change_literal_5 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:24.7-24.31
176 uext 1 70 0 __synth_change_literal_4 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:23.7-23.31
177 uext 1 84 0 __synth_change_literal_3 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:22.7-22.31
178 uext 1 98 0 __synth_change_literal_2 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:21.7-21.31
179 uext 1 112 0 __synth_change_literal_1 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:20.7-20.31
180 uext 1 126 0 __synth_change_literal_0 ; /home/kevin/d/rtl-repair/working-dir/decoder_3_to_8_original_orig_tb/1_replace_literals/decoder_3_to_8.instrumented.v:19.7-19.31
; end of yosys output