mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-06-30 20:48:56 +00:00
Code Activity

Merge ec54c36850 into 5d7486115a

Browse source
This commit is contained in:
Abhinav Puthran 2026-06-19 04:47:52 +00:00 • committed by GitHub
commit d9aa715fd9
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

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