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

dfflibmap: consistent clk2fflogic usage in test

This commit is contained in:
Emil J. Tywoniak 2026-03-19 19:48:25 +01:00
parent 0e7f7c826d
commit 12b443e71c
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tests/techmap/dfflibmap_proc_formal.ys
View File

@ -78,7 +78,7 @@ delete top miter
copy top_unmapped top
dfflibmap -liberty dfflibmap_dffsr_mixedpol.lib top
async2sync
clk2fflogic
flatten
miter -equiv -make_assert -flatten top_unmapped top miter
@ -92,7 +92,7 @@ delete top miter
copy top_unmapped top
dfflibmap -liberty dfflibmap_dffsr_not_next.lib top
async2sync
clk2fflogic
flatten
miter -equiv -make_assert -flatten top_unmapped top miter