From 0c6505a26a537dc911b6566f82d759521e527c08 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 30 Jan 2008 20:01:00 -0800 Subject: Version abc80130_2 --- regtest_output.txt | 241 +++++++++++++++++++---------------------------------- 1 file changed, 86 insertions(+), 155 deletions(-) (limited to 'regtest_output.txt') diff --git a/regtest_output.txt b/regtest_output.txt index f66ee380..6e0ffec3 100644 --- a/regtest_output.txt +++ b/regtest_output.txt @@ -1,110 +1,75 @@ -UC Berkeley, ABC 1.01 (compiled Sep 5 2005 23:36:08) +UC Berkeley, ABC 1.01 (compiled Dec 25 2006 17:15:00) abc 01> so regtest.script -abc - > r examples/apex4.pla -abc - > resyn -abc - > sharem -abc - > fpga -abc - > cec -Networks are equivalent after fraiging. -abc - > ps -examples/apex4.pla: i/o = 9/ 19 lat = 0 nd = 784 cube = 1985 lev = 5 -abc - > -abc - > clp -The shared BDD size is 917 nodes. -abc - > share -abc - > resyn -abc - > map +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 -abc - > cec -Networks are equivalent after fraiging. -abc - > ps -examples/apex4.pla: i/o = 9/ 19 lat = 0 nd = 1816 area = 4599.00 delay = 11.50 lev = 11 -abc - > -abc - > r examples/C2670.blif -abc - > resyn -abc - > fpga -abc - > cec -Networks are equivalent after fraiging. -abc - > ps -C2670.iscas : i/o = 233/ 140 lat = 0 nd = 169 cube = 482 lev = 6 -abc - > -abc - > u -abc - > map -abc - > cec -Networks are equivalent after fraiging. -abc - > ps -C2670.iscas : i/o = 233/ 140 lat = 0 nd = 465 area = 1142.00 delay = 15.50 lev = 14 -abc - > -abc - > r examples/frg2.blif -abc - > dsd -abc - > muxes -abc - > cec -Networks are equivalent after fraiging. -abc - > clp -The shared BDD size is 1111 nodes. -abc - > share -abc - > resyn -abc - > map -abc - > cec -Networks are equivalent after fraiging. -abc - > ps -frg2 : i/o = 143/ 139 lat = 0 nd = 540 area = 1360.00 delay = 10.10 lev = 9 -abc - > -abc - > r examples/pj1.blif -abc - > resyn -abc - > fpga -abc - > cec -Networks are equivalent after fraiging. -abc - > ps -exCombCkt : i/o = 1769/1063 lat = 0 nd = 4730 cube = 10662 lev = 12 -abc - > -abc - > u -abc - > map -abc - > cec -Networks are equivalent after fraiging. -abc - > ps -exCombCkt : i/o = 1769/1063 lat = 0 nd = 10396 area = 25170.00 delay = 29.20 lev = 27 -abc - > -abc - > r examples/s38584.bench -abc - > resyn -The network has 26 self-feeding latches. -abc - > fpga -abc - > cec -The network has 26 self-feeding latches. -The network has 26 self-feeding latches. -Networks are equivalent after fraiging. -abc - > ps -examples/s38584.bench: i/o = 12/ 278 lat = 1452 nd = 3239 cube = 6769 lev = 7 -abc - > -abc - > u -abc - > map -The network has 26 self-feeding latches. -abc - > cec -The network has 26 self-feeding latches. -The network has 26 self-feeding latches. -Networks are equivalent after fraiging. -abc - > ps -examples/s38584.bench: i/o = 12/ 278 lat = 1452 nd = 8522 area = 19305.00 delay = 20.60 lev = 17 -abc - > -abc - > r examples/ac.v -abc - > resyn -abc - > fpga -abc - > cec -Networks are equivalent after fraiging. -abc - > ps -ac97_ctrl : i/o = 84/ 48 lat = 2199 nd = 3652 cube = 9391 lev = 3 -abc - > -abc - > u -abc - > map -abc - > cec -Networks are equivalent after fraiging. -abc - > ps -ac97_ctrl : i/o = 84/ 48 lat = 2199 nd = 8337 area = 19861.00 delay = 8.10 lev = 8 -abc - > -abc - > r examples/s444.blif -abc - > b -abc - > esd -v +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. @@ -112,54 +77,20 @@ 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. -abc - > dsd -abc - > cec -Networks are equivalent after fraiging. -abc - > ps -iscas\s444.bench: i/o = 3/ 6 lat = 21 nd = 81 cube = 119 lev = 7 -abc - > -abc - > r examples/i10.blif -abc - > fpga -The network was strashed and balanced before FPGA mapping. -abc - > cec -Networks are equivalent after fraiging. -abc - > ps -i10 : i/o = 257/ 224 lat = 0 nd = 741 cube = 1616 lev = 11 -abc - > u -abc - > map -The network was strashed and balanced before mapping. -abc - > cec -Networks are equivalent after fraiging. -abc - > ps -i10 : i/o = 257/ 224 lat = 0 nd = 1659 area = 4215.00 delay = 30.80 lev = 27 -abc - > -abc - > r examples/i10.blif -abc - > b -abc - > fraig_store -The number of AIG nodes added to storage = 2425. -abc - > resyn -abc - > fraig_store -The number of AIG nodes added to storage = 1678. -abc - > resyn2 -abc - > fraig_store -The number of AIG nodes added to storage = 1323. -abc - > fraig_restore -Currently stored 3 networks with 5426 nodes will be fraiged. -abc - > fpga -Performing FPGA mapping with choices. -abc - > cec -Networks are equivalent after fraiging. -abc - > ps -i10 : i/o = 257/ 224 lat = 0 nd = 674 cube = 1498 lev = 10 -abc - > -abc - > u -abc - > map -Performing mapping with choices. -abc - > cec -Networks are equivalent after fraiging. -abc - > ps -i10 : i/o = 257/ 224 lat = 0 nd = 1505 area = 3561.00 delay = 25.00 lev = 22 -abc - > -abc 109> time -elapse: 77.52 seconds, total: 77.52 seconds -abc 109> \ No newline at end of file +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> \ No newline at end of file -- cgit v1.2.3