luke/yosys
1
0
Fork 0
mirror of https://github.com/YosysHQ/yosys.git synced 2026-08-22 14:17:27 +02:00
Code Issues Packages Projects Releases Wiki Activity

opt_dff: more explicit testing, typo

Browse Source
This commit is contained in:
Emil J. Tywoniak
2025-08-27 11:29:57 +02:00
parent e1276560cd
commit 8333a83cef
1 changed files with 17 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tests/opt/opt_dff-simplify.ys
+17 -2
View File
@@ -1,9 +1,17 @@
# 5287 issue
# 5279 issue
# Check only for complimentary patterns elimination
read_rtlil opt_dff-simplify.il
read_rtlil opt_dff-simplify.il
select -assert-count 0 t:$adffe
select -assert-count 1 t:$adff
select -assert-count 0 t:$ne
opt_dff
select -assert-count 1 t:$adffe
select -assert-count 0 t:$adff
select -assert-count 8 t:$ne r:A_WIDTH=3 %i
select -assert-count 5 t:$ne r:A_WIDTH=2 %i
@@ -37,7 +45,14 @@ EOT
cd test
proc
select -assert-count 0 t:$dffe
select -assert-count 1 t:$dff
select -assert-count 0 t:$ne
opt_dff
select -assert-count 1 t:$dffe
select -assert-count 0 t:$dff
select -assert-count 1 t:$ne r:A_WIDTH=2 %i
select -assert-none t:$ne r:A_WIDTH=3 %i