mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-06-11 11:25:38 +00:00
Code Activity

dfflibmap: allow formal dffsr mapping tests with clk2fflogic

Browse source
This commit is contained in:
Emil J. Tywoniak 2026-02-27 20:05:53 +01:00
parent 6f74c54c02
commit 024408004a
2 changed files with 24 additions and 24 deletions
Download patch file Download diff file Expand all files Collapse all files

4
tests/techmap/dfflibmap_proc_formal.ys
View file

@ -49,7 +49,7 @@ read_liberty dfflibmap_dffsr_s.lib
copy top top_unmapped
dfflibmap -liberty dfflibmap_dffsr_s.lib top
async2sync
clk2fflogic
flatten
opt_clean -purge
equiv_make top top_unmapped equiv
@ -63,7 +63,7 @@ delete top equiv
copy top_unmapped top
dfflibmap -liberty dfflibmap_dffsr_r.lib top
async2sync
clk2fflogic
flatten
opt_clean -purge
equiv_make top top_unmapped equiv