riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #1682 from YosysHQ/eddie/opt_after_techmap 

synth_*: call 'opt -fast' after 'techmap'
This commit is contained in:
Eddie Hung 2020-02-05 20:21:40 -08:00 committed by GitHub
parent 4c1d3a126d 0b0148399c
commit d44848328b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
8 changed files with 9 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
techlibs/anlogic/synth_anlogic.cc
View File

@ -175,6 +175,7 @@ struct SynthAnlogicPass : public ScriptPass
if (check_label("map_gates"))
{
run("techmap -map +/techmap.v -map +/anlogic/arith_map.v");
run("opt -fast");
if (retime || help_mode)
run("abc -dff -D 1", "(only if -retime)");
}

4
techlibs/coolrunner2/synth_coolrunner2.cc
View File

@ -144,8 +144,8 @@ struct SynthCoolrunner2Pass : public ScriptPass
if (check_label("fine"))
{
run("opt -fast -full");
run("techmap");
run("techmap -map +/coolrunner2/cells_latch.v");
run("techmap -map +/techmap.v -map +/coolrunner2/cells_latch.v");
run("opt -fast");
run("dfflibmap -prepare -liberty +/coolrunner2/xc2_dff.lib");
}

1
techlibs/ecp5/synth_ecp5.cc
View File

@ -289,6 +289,7 @@ struct SynthEcp5Pass : public ScriptPass
run("techmap");
else
run("techmap -map +/techmap.v -map +/ecp5/arith_map.v");
run("opt -fast");
if (retime || help_mode)
run("abc -dff -D 1", "(only if -retime)");
}

1
techlibs/efinix/synth_efinix.cc
View File

@ -175,6 +175,7 @@ struct SynthEfinixPass : public ScriptPass
if (check_label("map_gates"))
{
run("techmap -map +/techmap.v -map +/efinix/arith_map.v");
run("opt -fast");
if (retime || help_mode)
run("abc -dff -D 1", "(only if -retime)");
}

2
techlibs/gowin/synth_gowin.cc
View File

@ -211,7 +211,7 @@ struct SynthGowinPass : public ScriptPass
if (check_label("map_gates"))
{
run("techmap -map +/techmap.v -map +/gowin/arith_map.v");
run("techmap -map +/techmap.v");
run("opt -fast");
if (retime || help_mode)
run("abc -dff -D 1", "(only if -retime)");
run("splitnets");

3
techlibs/greenpak4/synth_greenpak4.cc
View File

@ -160,8 +160,7 @@ struct SynthGreenPAK4Pass : public ScriptPass
run("opt -fast -mux_undef -undriven -fine");
run("memory_map");
run("opt -undriven -fine");
run("techmap");
run("techmap -map +/greenpak4/cells_latch.v");
run("techmap -map +/techmap.v -map +/greenpak4/cells_latch.v");
run("dfflibmap -prepare -liberty +/greenpak4/gp_dff.lib");
run("opt -fast");
if (retime || help_mode)

1
techlibs/ice40/synth_ice40.cc
View File

@ -316,6 +316,7 @@ struct SynthIce40Pass : public ScriptPass
run("ice40_wrapcarry");
run("techmap -map +/techmap.v -map +/ice40/arith_map.v");
}
run("opt -fast");
if (retime || help_mode)
run("abc -dff -D 1", "(only if -retime)");
run("ice40_opt");

1
techlibs/sf2/synth_sf2.cc
View File

@ -180,6 +180,7 @@ struct SynthSf2Pass : public ScriptPass
run("memory_map");
run("opt -undriven -fine");
run("techmap -map +/techmap.v -map +/sf2/arith_map.v");
run("opt -fast");
if (retime || help_mode)
run("abc -dff -D 1", "(only if -retime)");
}