Version abc70110

1 files changed, 85 insertions, 86 deletions

diff --git a/regtest_output.txt b/regtest_output.txt
index a664e636..6e0ffec3 100644
--- a/regtest_output.txt
+++ b/regtest_output.txt
@@ -1,39 +1,75 @@
-UC Berkeley, ABC 1.01 (compiled Feb  3 2006 10:48:34)
+UC Berkeley, ABC 1.01 (compiled Dec 25 2006 17:15:00)
 abc 01> so regtest.script
-abc - > r examples/apex4.pla;    resyn; sharem; fpga; cec; ps;  clp; share; resyn; map; cec; ps
-Networks are equivalent after fraiging.
-examples/apex4: i/o =    9/  19  lat =    0  nd =  1185  cube =  2200  lev =   7
-The shared BDD size is 900 nodes.
+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.03 sec
-Networks are equivalent after fraiging.
-examples/apex4: i/o =    9/  19  lat =    0  nd =  1837  area = 4560.00  delay = 11.70  lev =  11
-abc - > r examples/C2670.blif;   resyn; fpga; cec; ps;          u; map; cec; ps
-Networks are equivalent after fraiging.
-C2670.iscas  : i/o =  233/ 140  lat =    0  nd =   218  cube =   444  lev =   7
-Networks are equivalent after fraiging.
-C2670.iscas  : i/o =  233/ 140  lat =    0  nd =   466  area = 1160.00  delay = 15.50  lev =  14
-abc - > r examples/frg2.blif;    dsd; muxes; cec; clp; share; resyn; map; cec; ps
-Networks are equivalent after fraiging.
-The shared BDD size is 1111 nodes.
-Networks are equivalent after fraiging.
-frg2         : i/o =  143/ 139  lat =    0  nd =   547  area = 1381.00  delay =  9.70  lev =   9
-abc - > r examples/pj1.blif;     resyn; fpga; cec; ps;          u; map; cec; ps
-Networks are equivalent after fraiging.
-exCombCkt    : i/o = 1769/1063  lat =    0  nd =  5609  cube = 10395  lev =  15
-Networks are equivalent after fraiging.
-exCombCkt    : i/o = 1769/1063  lat =    0  nd = 10317  area = 24980.00  delay = 29.80  lev =  27
-abc - > r examples/s38584.bench; resyn; fpga; cec; ps;          u; map; cec; ps
-Networks are equivalent after fraiging.
-examples/s38584: i/o =   12/ 278  lat = 1452  nd =  4405  cube =  7515  lev =   9
-Networks are equivalent after fraiging.
-examples/s38584: i/o =   12/ 278  lat = 1452  nd =  8509  area = 19316.00  delay = 20.60  lev =  17
-abc - > r examples/ac.v;         resyn; fpga; cec; ps;          u; map; cec; ps
-Networks are equivalent after fraiging.
-ac97_ctrl    : i/o =   84/  48  lat = 2199  nd =  4085  cube =  7780  lev =   4
-Networks are equivalent after fraiging.
-ac97_ctrl    : i/o =   84/  48  lat = 2199  nd =  8278  area = 19714.00  delay =  8.10  lev =   8
-abc - > r examples/s444.blif;    b; esd -v; dsd; cec; ps
+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.
@@ -41,57 +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.
-Networks are equivalent after fraiging.
-s444         : i/o =    3/   6  lat =   21  nd =    81  cube =   119  lev =   7
-abc - > r examples/i10.blif;     fpga; cec; ps;                 u; map; cec; ps
-The network was strashed and balanced before FPGA mapping.
-Networks are equivalent after fraiging.
-i10          : i/o =  257/ 224  lat =    0  nd =   899  cube =  1604  lev =  13
-The network was strashed and balanced before mapping.
-Networks are equivalent after fraiging.
-i10          : i/o =  257/ 224  lat =    0  nd =  1676  area = 4219.00  delay = 30.80  lev =  29
-abc - > r examples/i10.blif;     choice; fpga; cec; ps;         u; map; cec; ps
-The number of AIG nodes added to storage =  2675.
-The number of AIG nodes added to storage =  1744.
-The number of AIG nodes added to storage =  1431.
-Currently stored 3 networks with 5850 nodes will be fraiged.
-Performing FPGA mapping with choices.
-Networks are equivalent after fraiging.
-i10          : i/o =  257/ 224  lat =    0  nd =   792  cube =  1459  lev =  12
-Performing mapping with choices.
-Networks are equivalent after fraiging.
-i10          : i/o =  257/ 224  lat =    0  nd =  1484  area = 3518.00  delay = 25.60  lev =  23
-abc - > r examples/s6669.blif;   fpga; ps; sec; u;   sfpga; ps; sec; u;   fpga; ret; ps; sec
-The network was strashed and balanced before FPGA mapping.
-s6669        : i/o =   83/  55  lat =  239  nd =   679  bdd  =  3046  lev =  20
-Networks are equivalent after fraiging.
-The network was strashed and balanced before FPGA mapping/retiming.
-The number of MUXes detected = 120 (34.25 % of logic).  Creating solver =   0.00 sec
-SAT solver time =   0.00 sec
-The number of LUTs with incompatible edges = 24.
-The number of LUTs with more than 4 inputs = 18.
-s6669        : i/o =   83/  55  lat =  404  nd =   818  bdd  =  3829  lev =   6
-Networks are equivalent after fraiging.
-The network was strashed and balanced before FPGA mapping.
-The number of MUXes detected = 69 (37.03 % of logic).  Creating solver =   0.00 sec
-SAT solver time =   0.00 sec
-s6669        : i/o =   83/  55  lat =  346  nd =   772  bdd  =  3254  lev =   9
-Networks are equivalent after fraiging.
-abc - > r examples/s5378.blif;   map -s; ps; sec; u; smap; ps; sec; u;    map; ret; ps; sec
-The network was strashed and balanced before mapping.
-s5378        : i/o =   35/  49  lat =  164  nd =  1015  area = 2384.00  delay = 12.40  lev =  10
-Networks are equivalent after fraiging.
-The number of nodes with equal fanins = 5.
-The network was strashed and balanced before SC mapping/retiming.
-The mininum clock period computed is 10.00.
-The resulting network is derived as BDD logic network (this is temporary).
-The number of MUXes detected = 0 ( 0.00 % of logic).  Creating solver =   0.00 sec
-SAT solver time =   0.00 sec
-s5378        : i/o =   35/  49  lat =  396  nd =  1252  bdd  =  4612  lev =   7
-Networks are equivalent after fraiging.
-The network was strashed and balanced before mapping.
-s5378        : i/o =   35/  49  lat =  360  nd =  1087  area = 2454.00  delay = 12.10  lev =  11
+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: 39.54 seconds, total: 39.54 seconds
-abc 122>
\ No newline at end of file
+elapse: 44.07 seconds, total: 44.07 seconds
+abc 150>
\ No newline at end of file