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

synth_fabulous: remove classic ABC mapping

This commit is contained in:
Lofty 2026-08-10 12:51:12 +01:00
parent 5fe16f60f9
commit 737560c471
3 changed files with 6 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
techlibs/fabulous/synth_fabulous.cc
View File

@ -417,7 +417,7 @@ struct SynthPass : public ScriptPass {
}
if (check_label("map_luts")) {
run(stringf("abc -lut %d -dress", lut));
run(stringf("abc9 -lut %d", lut));
run("clean");
}

7
tests/arch/fabulous/fsm.ys
View File

@ -13,7 +13,6 @@ design -load postopt # load the post-opt design (otherwise equiv_opt loads the p
cd fsm # Constrain all select calls below inside the top module
select -assert-count 6 t:LUTFF
select -assert-max 5 t:LUT2
select -assert-max 4 t:LUT3
select -assert-max 8 t:LUT4
select -assert-none t:LUT2 t:LUT3 t:LUT4 t:LUTFF %% t:* %D
select -assert-max 4 t:LUT2
select -assert-max 11 t:LUT4
select -assert-none t:LUT2 t:LUT4 t:LUTFF %% t:* %D

4
tests/arch/fabulous/logic.ys
View File

@ -4,7 +4,7 @@ proc
equiv_opt -assert -map prims.v synth_fabulous -noiopad -ff $_DFF_P_ x -ff $_DLATCH_?_ x -extra-plib prims.v -cells-map cells_map.v -arith-map arith_map.v -extra-map ff_map.v -extra-map latches_map.v # equivalency check
design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
cd top # Constrain all select calls below inside the top module
select -assert-max 1 t:LUT1
select -assert-max 6 t:LUT2
select -assert-max 4 t:LUT1
select -assert-max 3 t:LUT2
select -assert-max 2 t:LUT4
select -assert-none t:LUT1 t:LUT2 t:LUT4 %% t:* %D