Home
last modified time | relevance | path

Searched refs:inst_2 (Results 1 – 25 of 227) sorted by relevance

12345678910

/dports/cad/opentimer/OpenTimer-18d28ff/benchmark/c3_path/
H A Dc3_path.spef50 *I inst_2:Z O
53 1 inst_2:Z 0.0010
55 2 inst_2:Z nx44 0.0010
82 *I inst_2:A I
85 2 inst_2:A 5.0000
87 2 nx4 inst_2:A 0.2000
H A Dc3_path.output4 inst_2:Z F
5 inst_2:A F
11 inst_2:Z R
12 inst_2:A R
24 inst_2:Z F
25 inst_2:A F
33 inst_2:Z R
34 inst_2:A R
52 inst_2:Z F
53 inst_2:A F
[all …]
H A Dchange_1.spef19 *I inst_2:A I
25 5 inst_2:A 0.2878
30 5 nx4:3 inst_2:A 0.1485
H A Dchange_2.spef112 *I inst_2:A I
118 5 inst_2:A 0.1905
123 5 nx4:3 inst_2:A 0.2331
/dports/cad/opentimer/OpenTimer-18d28ff/benchmark/c3_slack/
H A Dc3_slack.spef50 *I inst_2:Z O
53 1 inst_2:Z 0.0010
55 2 inst_2:Z nx44 0.0010
82 *I inst_2:A I
85 2 inst_2:A 5.0000
87 2 nx4 inst_2:A 0.2000
H A Dchange_1.spef19 *I inst_2:A I
25 5 inst_2:A 0.2878
30 5 nx4:3 inst_2:A 0.1485
H A Dchange_2.spef112 *I inst_2:A I
118 5 inst_2:A 0.1905
123 5 nx4:3 inst_2:A 0.2331
/dports/cad/opentimer/OpenTimer-18d28ff/benchmark/c17/
H A Dchange_7.spef57 *I inst_2:A2 I
63 4 inst_2:A2 0.0406
71 4 net_1:2 inst_2:A2 0.1308
81 *I inst_2:A1 I
88 6 inst_2:A1 0.3464
94 6 nx7:4 inst_2:A1 0.2665
119 *I inst_2:ZN O
122 1 inst_2:ZN 0.2927
129 2 inst_2:ZN net_2:1 0.3298
H A Dc17.spef19 *I inst_2:A2 I
23 2 inst_2:A2 0.0073
38 3 net_1:1 inst_2:A2 0.0010
105 *I inst_2:A1 I
108 2 inst_2:A1 0.0166
117 3 inst_2:A1 nx7:6 0.0050
165 *I inst_2:ZN O
168 1 inst_2:ZN 0.0287
171 2 inst_2:ZN inst_4:A2 0.0041
H A Dc17.ops97 report_at -pin inst_2:A1
101 report_rat -pin inst_2:A1
105 report_slack -pin inst_2:A1
109 report_at -pin inst_2:A2
113 report_rat -pin inst_2:A2
117 report_slack -pin inst_2:A2
121 report_at -pin inst_2:ZN
125 report_rat -pin inst_2:ZN
405 report_at -pin inst_2:A1
417 report_at -pin inst_2:A2
[all …]
H A Dc17.shell103 report_at -pin inst_2:A1
107 report_rat -pin inst_2:A1
111 report_slack -pin inst_2:A1
115 report_at -pin inst_2:A2
119 report_rat -pin inst_2:A2
123 report_slack -pin inst_2:A2
127 report_at -pin inst_2:ZN
131 report_rat -pin inst_2:ZN
411 report_at -pin inst_2:A1
423 report_at -pin inst_2:A2
[all …]
H A Dchange_4.spef72 *I inst_2:A1 I
79 6 inst_2:A1 0.0565
85 6 nx7:4 inst_2:A1 0.3356
191 *I inst_2:A2 I
201 8 inst_2:A2 0.4131
209 8 net_1:5 inst_2:A2 0.4814
214 *I inst_2:ZN O
217 1 inst_2:ZN 0.3915
221 2 inst_2:ZN TAUNET_11:1 0.3105
/dports/cad/opentimer/OpenTimer-18d28ff/benchmark/c17_slack/
H A Dchange_7.spef57 *I inst_2:A2 I
63 4 inst_2:A2 0.0406
71 4 net_1:2 inst_2:A2 0.1308
81 *I inst_2:A1 I
88 6 inst_2:A1 0.3464
94 6 nx7:4 inst_2:A1 0.2665
119 *I inst_2:ZN O
122 1 inst_2:ZN 0.2927
129 2 inst_2:ZN net_2:1 0.3298
H A Dc17_slack.spef19 *I inst_2:A2 I
23 2 inst_2:A2 0.0073
38 3 net_1:1 inst_2:A2 0.0010
105 *I inst_2:A1 I
108 2 inst_2:A1 0.0166
117 3 inst_2:A1 nx7:6 0.0050
165 *I inst_2:ZN O
168 1 inst_2:ZN 0.0287
171 2 inst_2:ZN inst_4:A2 0.0041
H A Dchange_4.spef91 *I inst_2:A1 I
99 7 inst_2:A1 0.2529
106 7 nx7:5 inst_2:A1 0.3833
208 *I inst_2:A2 I
214 4 inst_2:A2 0.0668
223 4 net_1:2 inst_2:A2 0.4004
354 *I inst_2:ZN O
357 1 inst_2:ZN 0.0283
363 2 inst_2:ZN TAUNET_25:1 0.2046
/dports/cad/opentimer/OpenTimer-18d28ff/example/sizer/
H A Dsizer.spef19 *I inst_2:A2 I
23 2 inst_2:A2 0.0073
38 3 net_1:1 inst_2:A2 0.0010
105 *I inst_2:A1 I
108 2 inst_2:A1 0.0166
117 3 inst_2:A1 nx7:6 0.0050
165 *I inst_2:ZN O
168 1 inst_2:ZN 0.0287
171 2 inst_2:ZN inst_4:A2 0.0041
H A Dsizer.conf21 repower_gate inst_2 NAND2_X1
34 repower_gate inst_2 NAND2_X4
/dports/cad/opentimer/OpenTimer-18d28ff/benchmark/s27_path/
H A Dchange_7.spef18 *I inst_2:ZN O
21 1 inst_2:ZN 0.2611
27 2 inst_2:ZN net_11:1 0.1659
249 *I inst_2:A2 I
254 3 inst_2:A2 0.1600
259 3 net_9:1 inst_2:A2 0.4787
339 *I inst_2:A1 I
345 5 inst_2:A1 0.2702
350 5 net_6:3 inst_2:A1 0.0903
/dports/cad/opentimer/OpenTimer-18d28ff/benchmark/s27/
H A Dchange_7.spef18 *I inst_2:ZN O
21 1 inst_2:ZN 0.2611
27 2 inst_2:ZN net_11:1 0.1659
249 *I inst_2:A2 I
254 3 inst_2:A2 0.1600
259 3 net_9:1 inst_2:A2 0.4787
339 *I inst_2:A1 I
345 5 inst_2:A1 0.2702
350 5 net_6:3 inst_2:A1 0.0903
/dports/science/agrum/aGrUM-29e540d8169268e8fe5d5c69bc4b2b1290f12320/src/testunits/module_BN/
H A DUAIBNReaderTestSuite.h108 gum::Instantiation inst_2(proba_2); in testRead_file2_float()
109 inst_2.setFirst(); in testRead_file2_float()
110 TS_ASSERT_DELTA(proba_2[inst_2], 0.3, 0.001) in testRead_file2_float()
111 inst_2.setLast(); in testRead_file2_float()
112 TS_ASSERT_DELTA(proba_2[inst_2], 0.7, 0.001) in testRead_file2_float()
194 gum::Instantiation inst_2(proba_2); in testRead_file3()
196 inst_2.setFirst(); in testRead_file3()
198 TS_ASSERT_DELTA(proba_2[inst_2], 0.3, 0.001) in testRead_file3()
200 inst_2.setLast(); in testRead_file3()
202 TS_ASSERT_DELTA(proba_2[inst_2], 0.7, 0.001) in testRead_file3()
H A DBIFXMLBNReaderTestSuite.h111 gum::Instantiation inst_2(proba_2); in testRead_file2_float()
112 inst_2.setFirst(); in testRead_file2_float()
113 TS_ASSERT_DELTA(proba_2[inst_2], 0.3f, 0.001f) in testRead_file2_float()
114 inst_2.setLast(); in testRead_file2_float()
115 TS_ASSERT_DELTA(proba_2[inst_2], 0.7f, 0.001f) in testRead_file2_float()
194 gum::Instantiation inst_2(proba_2); in testRead_file2_double()
196 inst_2.setFirst(); in testRead_file2_double()
200 inst_2.setLast(); in testRead_file2_double()
262 gum::Instantiation inst_2(proba_2); in testRead_file3()
264 inst_2.setFirst(); in testRead_file3()
[all …]
H A DBIFReaderTestSuite.h124 gum::Instantiation inst_2(proba_2); in testRead_file2_float()
125 inst_2.setFirst(); in testRead_file2_float()
127 inst_2.setLast(); in testRead_file2_float()
188 gum::Instantiation inst_2(proba_2); in testRead_file2_double()
190 inst_2.setFirst(); in testRead_file2_double()
194 inst_2.setLast(); in testRead_file2_double()
260 gum::Instantiation inst_2(proba_2); in testRead_file3()
262 inst_2.setFirst(); in testRead_file3()
264 TS_ASSERT_DELTA(proba_2[inst_2], 0.3f, 0.001f) in testRead_file3()
266 inst_2.setLast(); in testRead_file3()
[all …]
H A DDSLReaderTestSuite.h110 gum::Instantiation inst_2(proba_2); in testRead_file2_float()
111 inst_2.setFirst(); in testRead_file2_float()
112 TS_ASSERT(std::abs((proba_2[inst_2] - 0.3f)) < 0.001f) in testRead_file2_float()
113 inst_2.setLast(); in testRead_file2_float()
114 TS_ASSERT(std::abs((proba_2[inst_2] - 0.7f)) < 0.001f) in testRead_file2_float()
159 gum::Instantiation inst_2(proba_2); in testRead_file2_double()
160 inst_2.setFirst(); in testRead_file2_double()
161 TS_ASSERT(std::abs((proba_2[inst_2] - 0.3)) < 0.001) in testRead_file2_double()
162 inst_2.setLast(); in testRead_file2_double()
163 TS_ASSERT(std::abs((proba_2[inst_2] - 0.7)) < 0.001) in testRead_file2_double()
/dports/math/cvc4/CVC4-1.7/test/regress/regress1/sygus/
H A Dcegis-unif-inv-eq-fair.sy184 (top.res.inst_2@0 Bool)
208 top.res.inst_2@0)
279 top.res.inst_2@1
292 top.res.inst_2@0)
331 (top.res.inst_2 Bool)
375 (top.res.inst_2 Bool)
399 top.res.inst_2)
429 (top.res.inst_2 Bool)
475 top.res.inst_2!
488 top.res.inst_2)
[all …]
/dports/cad/opentimer/OpenTimer-18d28ff/benchmark/c2670/
H A Dchange_2.spef91 *I inst_2:A I
99 7 inst_2:A 0.2529
106 7 n2438:5 inst_2:A 0.3833

12345678910