mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-03-23 04:49:15 +00:00
Code Activity

Merge ec54c36850 into 5fd39ff3e1

Browse source
This commit is contained in:
Abhinav Kumar Puthran 2026-03-20 20:16:12 +13:00 • committed by GitHub
commit 92b345dce7
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 13 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
passes/techmap/dfflibmap.cc
View file

@ -694,6 +694,8 @@ struct DfflibmapPass : public Pass {
for (auto it : cell_mappings)
dfflegalize_cmd += stringf(" -cell %s 01", it.first);
dfflegalize_cmd += " t:$_DFF* t:$_SDFF*";
for (auto module : design->selected_modules())
dfflegalize_cmd += " " + module -> name.str();
if (info_mode) {
log("dfflegalize command line: %s\n", dfflegalize_cmd);
} else {

11
tests/techmap/dfflibmap.ys
View file

@ -97,3 +97,14 @@ select -assert-count 1 t:dffe
# but we have to invert it because the CLEAR pin is active low.
# ff2.CLEAR = !R
select -assert-count 1 c:ff2 %x:+[CLEAR] %ci t:$_NOT_ %i
# Test that dfflibmap respects selection and doesn't run dfflegalize on unselected modules
design -load orig
copy top top_unmapped
dfflibmap -liberty dfflibmap.lib top
# top should be mapped
select -module top -assert-count 1 t:dffn
# top_unmapped should have no mapped cells
select -module top_unmapped -assert-none t:dffn
select -module top_unmapped -assert-none t:dffe
select -module top_unmapped -assert-none t:dffsr