UC Berkeley, ABC 1.01 (compiled Dec 25 2006 17:15:00) abc 01> so regtest.script abc - > r examples/apex4.pla; resyn; if; cec; ps; clp; resyn; map; cec; ps Networks are equivalent. examples/apex4: i/o = 9/ 19 lat = 0 nd = 1172 aig = 4365 lev = 7 The shared BDD size is 917 nodes. BDD construction time = 0.04 sec A simple supergate library is derived from gate library "mcnc_temp.genlib". Loaded 20 unique 5-input supergates from "mcnc_temp.super". Time = 0.02 sec Networks are equivalent. examples/apex4: i/o = 9/ 19 lat = 0 nd = 1734 aig = 2576 lev = 12 abc - > r examples/C2670.blif; st; w 1.aig; cec 1.aig Networks are equivalent after structural hashing. abc - > r examples/C2670.blif; st; short_names; w 1.bench; cec 1.bench Networks are equivalent after structural hashing. abc - > r examples/C2670.blif; st; short_names; ren -s; w 1.eqn; cec 1.eqn Networks are equivalent. abc - > r examples/C2670.blif; resyn2; if -K 8; cec; ps; u; map; cec; ps Networks are equivalent. C2670.iscas : i/o = 233/ 140 lat = 0 nd = 120 aig = 1056 lev = 4 Networks are equivalent. C2670.iscas : i/o = 233/ 140 lat = 0 nd = 467 aig = 651 lev = 14 abc - > r examples/frg2.blif; dsd; muxes; cec; ps; clp; share; resyn; map; cec; ps Networks are equivalent. frg2 : i/o = 143/ 139 lat = 0 nd = 1648 aig = 2268 lev = 18 The shared BDD size is 1672 nodes. BDD construction time = 0.14 sec Networks are equivalent. frg2 : i/o = 143/ 139 lat = 0 nd = 533 aig = 778 lev = 8 abc - > r examples/frg2.blif; bdd; muxes; cec; ps; clp; st; ren -b; muxes; cec; ps Networks are equivalent. frg2 : i/o = 143/ 139 lat = 0 nd = 2868 aig = 4221 lev = 38 The shared BDD size is 1684 nodes. BDD construction time = 0.14 sec Networks are equivalent. frg2 : i/o = 143/ 139 lat = 0 nd = 2331 aig = 3180 lev = 20 abc - > r examples/i10.blif; resyn2; fpga; cec; ps; u; map; cec; ps Networks are equivalent. i10 : i/o = 257/ 224 lat = 0 nd = 808 aig = 2630 lev = 12 Networks are equivalent. i10 : i/o = 257/ 224 lat = 0 nd = 1555 aig = 1980 lev = 24 abc - > r examples/i10.blif; choice; fpga; cec; ps; u; map; cec; ps Currently stored 3 networks with 5801 nodes will be fraiged. Total fraiging time = 0.39 sec Performing FPGA mapping with choices. Networks are equivalent. i10 : i/o = 257/ 224 lat = 0 nd = 798 aig = 2543 lev = 12 Performing mapping with choices. Networks are equivalent. i10 : i/o = 257/ 224 lat = 0 nd = 1463 aig = 1993 lev = 23 abc - > r examples/pj1.blif; st; if; cec; ps; u; map; cec; ps Networks are equivalent after structural hashing. exCombCkt : i/o = 1769/1063 lat = 0 nd = 5984 aig = 23156 lev = 52 Networks are equivalent. exCombCkt : i/o = 1769/1063 lat = 0 nd = 11474 aig = 16032 lev = 80 abc - > r examples/s38417.blif; comb; w 1.blif; resyn; if; cec 1.blif; ps examples/s38417.blif (line 14): Skipping directive ".wire_load_slope". Networks are equivalent. s38417 : i/o = 1664/1742 lat = 0 nd = 3479 aig = 10120 lev = 9 abc - > r examples/s38417.blif; resyn; if; cec; ps; u; map; cec; ps examples/s38417.blif (line 14): Skipping directive ".wire_load_slope". examples/s38417.blif (line 14): Skipping directive ".wire_load_slope". Networks are equivalent. s38417 : i/o = 28/ 106 lat = 1636 nd = 3479 aig = 10120 lev = 9 examples/s38417.blif (line 14): Skipping directive ".wire_load_slope". Networks are equivalent. s38417 : i/o = 28/ 106 lat = 1636 nd = 7189 aig = 8689 lev = 17 abc - > r examples/s38584.bench; resyn; ren -s; fx; if; cec; ps; u; map; cec; ps The network was strashed and balanced before FPGA mapping. Networks are equivalent. examples/s38584: i/o = 12/ 278 lat = 1452 nd = 4266 aig = 12569 lev = 10 The network was strashed and balanced before mapping. Networks are equivalent. examples/s38584: i/o = 12/ 278 lat = 1452 nd = 8135 aig = 10674 lev = 18 abc - > r examples/s444.blif; b; esd -v; print_exdc; dsd; cec; ps The shared BDD size is 181 nodes. BDD nodes in the transition relation before reordering 557. BDD nodes in the transition relation after reordering 456. Reachability analysis completed in 151 iterations. The number of minterms in the reachable state set = 8865. BDD nodes in the unreachable states before reordering 124. BDD nodes in the unreachable states after reordering 113. EXDC network statistics: exdc : i/o = 21/ 21 lat = 0 nd = 21 cube = 86 lev = 2 Networks are equivalent. s444 : i/o = 3/ 6 lat = 21 nd = 82 aig = 176 lev = 7 abc - > r examples/s444.blif; double; frames -F 5; w 1.blif; ffpga -K 8; cec 1.blif Networks are equivalent after structural hashing. abc - > r examples/s5378.blif; frames -F 5; cycle; w 1.blif; ps; ret; ps; sec 1.blif s5378_5_frames: i/o = 175/ 245 lat = 164 and = 6629 (exor = 115) lev = 59 s5378_5_frames: i/o = 175/ 245 lat = 182 nd = 6957 cube = 6956 lev = 50 Networks are equivalent after framing. abc - > r examples/s6669.blif; cycle; w 1.blif; ps; ret -M 3; resyn; ps; sec 1.blif s6669 : i/o = 83/ 55 lat = 239 nd = 3080 cube = 3080 lev = 93 s6669 : i/o = 83/ 55 lat = 183 and = 1915 (exor = 371) lev = 97 Networks are equivalent after fraiging. abc - > time elapse: 44.07 seconds, total: 44.07 seconds abc 150> UC Berkeley, ABC 1.01 (compiled Mar 1 2008 16:23:34) abc 01> so regtest.script abc - > r examples/apex4.pla; resyn; if; cec; ps; clp; resyn; map; cec; ps Networks are equivalent. examples/apex4: i/o = 9/ 19 lat = 0 nd = 1176 edge = 4298 aig = 4314 lev = 7 Shared BDD size = 917 nodes. BDD construction time = 0.04 sec A simple supergate library is derived from gate library "mcnc_temp.genlib". Loaded 20 unique 5-input supergates from "mcnc_temp.super". Time = 0.02 sec Networks are equivalent. examples/apex4: i/o = 9/ 19 lat = 0 nd = 1734 edge = 4291 aig = 2576 lev = 12 abc - > r examples/C2670.blif; st; w 1.aig; cec 1.aig Networks are equivalent after structural hashing. abc - > r examples/C2670.blif; st; short_names; w 1.bench; cec 1.bench Networks are equivalent after structural hashing. abc - > r examples/C2670.blif; st; short_names; ren -s; w 1.eqn; cec 1.eqn Networks are equivalent. abc - > r examples/C2670.blif; resyn2; if -K 8; cec; ps; u; map; cec; ps Networks are equivalent. C2670.iscas : i/o = 233/ 140 lat = 0 nd = 121 edge = 701 aig = 1088 lev = 4 Networks are equivalent. C2670.iscas : i/o = 233/ 140 lat = 0 nd = 467 edge = 1029 aig = 651 lev = 14 abc - > r examples/frg2.blif; dsd; muxes; cec; ps; clp; share; resyn; map; cec; ps Networks are equivalent. frg2 : i/o = 143/ 139 lat = 0 nd = 1648 edge = 2646 aig = 2268 lev = 18 Shared BDD size = 1505 nodes. BDD construction time = 0.13 sec Networks are equivalent. frg2 : i/o = 143/ 139 lat = 0 nd = 557 edge = 1295 aig = 748 lev = 9 abc - > r examples/frg2.blif; bdd; muxes; cec; ps; clp; st; ren -b; muxes; cec; ps Networks are equivalent. frg2 : i/o = 143/ 139 lat = 0 nd = 2868 edge = 4855 aig = 4221 lev = 38 Shared BDD size = 1555 nodes. BDD construction time = 0.12 sec Networks are equivalent. frg2 : i/o = 143/ 139 lat = 0 nd = 2150 edge = 3465 aig = 3075 lev = 19 abc - > r examples/i10.blif; resyn2; fpga; cec; ps; u; map; cec; ps Networks are equivalent. i10 : i/o = 257/ 224 lat = 0 nd = 808 edge = 2767 aig = 2630 lev = 12 Networks are equivalent. i10 : i/o = 257/ 224 lat = 0 nd = 1555 edge = 3379 aig = 1980 lev = 24 abc - > r examples/i10.blif; choice; fpga; cec; ps; u; map; cec; ps Performing LUT mapping with 548 choices. Networks are equivalent. i10 : i/o = 257/ 224 lat = 0 nd = 788 edge = 2722 aig = 2522 lev = 13 Performing mapping with choices. Networks are equivalent. i10 : i/o = 257/ 224 lat = 0 nd = 1462 edge = 3271 aig = 1977 lev = 23 abc - > r examples/pj1.blif; st; if; cec; ps; u; map; cec; ps Networks are equivalent after structural hashing. exCombCkt : i/o = 1769/ 1063 lat = 0 nd = 5924 edge = 21224 aig = 22799 lev = 52 Networks are equivalent. exCombCkt : i/o = 1769/ 1063 lat = 0 nd = 11474 edge = 26350 aig = 16032 lev = 80 abc - > r examples/s38417.blif; comb; w 1.blif; resyn; if; cec 1.blif; ps Line 14: Skipping line ".wire_load_slope 0.00". Networks are equivalent. s38417 : i/o = 1664/ 1742 lat = 0 nd = 3502 edge = 11182 aig = 10001 lev = 9 abc - > r examples/s38417.blif; resyn; if; cec; ps; u; map; cec; ps Line 14: Skipping line ".wire_load_slope 0.00". Line 14: Skipping line ".wire_load_slope 0.00". Networks are equivalent. s38417 : i/o = 28/ 106 lat = 1636 nd = 3502 edge = 11182 aig = 10001 lev = 9 Line 14: Skipping line ".wire_load_slope 0.00". Networks are equivalent. s38417 : i/o = 28/ 106 lat = 1636 nd = 7189 edge = 15262 aig = 8689 lev = 17 abc - > r examples/s38584.bench; resyn; ren -s; fx; if; cec; ps; u; map; cec; ps The network was strashed and balanced before FPGA mapping. Networks are equivalent. examples/s38584: i/o = 12/ 278 lat = 1452 nd = 4452 edge = 14910 aig = 12424 lev = 9 The network was strashed and balanced before mapping. Networks are equivalent. examples/s38584: i/o = 12/ 278 lat = 1452 nd = 8339 edge = 18690 aig = 10633 lev = 18 abc - > r examples/s444.blif; b; esd -v; print_exdc; dsd; cec; ps Shared BDD size = 181 nodes. BDD nodes in the transition relation before reordering 557. BDD nodes in the transition relation after reordering 456. Reachability analysis completed in 151 iterations. The number of minterms in the reachable state set = 8865. ( 0.42 %) BDD nodes in the unreachable states before reordering 124. BDD nodes in the unreachable states after reordering 113. EXDC network statistics: exdc : i/o = 21/ 21 lat = 0 nd = 21 edge = 41 cube = 86 lev = 2 Networks are equivalent. s444 : i/o = 3/ 6 lat = 21 nd = 82 edge = 186 aig = 176 lev = 7 abc - > r examples/s444.blif; double; frames -F 5; w 1.blif; ffpga -K 8; cec 1.blif Networks are equivalent after structural hashing. abc - > r examples/s5378.blif; frames -F 5; cycle; w 1.blif; ps; ret; ps; sec 1.blif s5378_5_frames: i/o = 175/ 245 lat = 164 and = 6629 (exor = 115) lev = 59 s5378_5_frames: i/o = 175/ 245 lat = 182 nd = 6957 edge = 13585 cube = 6956 lev = 50 Networks are equivalent after framing. abc - > r examples/s6669.blif; cycle; w 1.blif; ps; ret -M 3; resyn; ps; sec 1.blif s6669 : i/o = 83/ 55 lat = 239 nd = 3148 edge = 5411 cube = 3148 lev = 93 s6669 : i/o = 83/ 55 lat = 183 and = 1915 (exor = 371) lev = 97 Networks are equivalent after fraiging. abc - > time elapse: 43.01 seconds, total: 43.01 seconds abc 159>