diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-09-30 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-09-30 08:01:00 -0700 |
| commit | e54d9691616b9a0326e2fdb3156bb4eeb8abfcd7 (patch) | |
| tree | de3ffe87c3e17950351e3b7d97fa18318bd5ea9a /abc70930/regtest.script | |
| parent | 7d7e60f2dc84393cd4c5db22d2eaf7b1fb1a79b2 (diff) | |
| download | abc-e54d9691616b9a0326e2fdb3156bb4eeb8abfcd7.tar.gz abc-e54d9691616b9a0326e2fdb3156bb4eeb8abfcd7.tar.bz2 abc-e54d9691616b9a0326e2fdb3156bb4eeb8abfcd7.zip | |
Version abc70930
Diffstat (limited to 'abc70930/regtest.script')
| -rw-r--r-- | abc70930/regtest.script | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/abc70930/regtest.script b/abc70930/regtest.script new file mode 100644 index 00000000..c4a23a89 --- /dev/null +++ b/abc70930/regtest.script @@ -0,0 +1,18 @@ +r examples/apex4.pla; resyn; if; cec; ps; clp; resyn; map; cec; ps +r examples/C2670.blif; st; w 1.aig; cec 1.aig +r examples/C2670.blif; st; short_names; w 1.bench; cec 1.bench +r examples/C2670.blif; st; short_names; ren -s; w 1.eqn; cec 1.eqn +r examples/C2670.blif; resyn2; if -K 8; cec; ps; u; map; cec; ps +r examples/frg2.blif; dsd; muxes; cec; ps; clp; share; resyn; map; cec; ps +r examples/frg2.blif; bdd; muxes; cec; ps; clp; st; ren -b; muxes; cec; ps +r examples/i10.blif; resyn2; fpga; cec; ps; u; map; cec; ps +r examples/i10.blif; choice; fpga; cec; ps; u; map; cec; ps +r examples/pj1.blif; st; if; cec; ps; u; map; cec; ps +r examples/s38417.blif; comb; w 1.blif; resyn; if; cec 1.blif; ps +r examples/s38417.blif; resyn; if; cec; ps; u; map; cec; ps +r examples/s38584.bench; resyn; ren -s; fx; if; cec; ps; u; map; cec; ps +r examples/s444.blif; b; esd -v; print_exdc; dsd; cec; ps +r examples/s444.blif; double; frames -F 5; w 1.blif; ffpga -K 8; cec 1.blif +r examples/s5378.blif; frames -F 5; cycle; w 1.blif; ps; ret; ps; sec 1.blif +r examples/s6669.blif; cycle; w 1.blif; ps; ret -M 3; resyn; ps; sec 1.blif +time |