luke/yosys
1
0
Fork 0
mirror of https://github.com/YosysHQ/yosys.git synced 2026-09-08 12:44:23 +02:00
Code Issues Packages Projects Releases Wiki Activity

tests: adjust to input_port and init behavior (sketchy)

Browse Source
This commit is contained in:
Emil J. Tywoniak
2026-07-17 23:32:34 +02:00
parent 8d02d94b50
commit df0da642d2
1 changed files with 8 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tests/opt/opt_dff_dffmux.ys
+8 -7
View File
@@ -9,7 +9,7 @@ proc
equiv_opt -assert opt
design -load postopt
select -assert-count 1 t:$dffe r:WIDTH=2 %i
select -assert-count 0 t:$dffe %% t:* %D
select -assert-count 0 t:$dffe %% t:* %D t:$input_port %d
####################
@@ -25,7 +25,7 @@ equiv_opt -assert opt
design -load postopt
wreduce
select -assert-count 1 t:$dffe r:WIDTH=2 %i
select -assert-count 0 t:$dffe %% t:* %D
select -assert-count 0 t:$dffe %% t:* %D t:$input_port %d
###################
@@ -40,7 +40,7 @@ proc
equiv_opt -assert opt
design -load postopt
select -assert-count 1 t:$dffe r:WIDTH=2 %i
select -assert-count 0 t:$dffe %% t:* %D
select -assert-count 0 t:$dffe %% t:* %D t:$input_port %d
###################
@@ -54,8 +54,9 @@ EOT
proc
equiv_opt -assert opt
design -load postopt
dump
select -assert-count 1 t:$dffe r:WIDTH=4 %i
select -assert-count 0 t:$dffe %% t:* %D
select -assert-count 0 t:$dffe %% t:* %D t:$input_port %d
####################
@@ -71,7 +72,7 @@ equiv_opt -assert opt
design -load postopt
wreduce
select -assert-count 1 t:$sdffe r:WIDTH=2 %i
select -assert-count 0 t:$sdffe %% t:* %D
select -assert-count 0 t:$sdffe %% t:* %D t:$input_port %d
####################
@@ -90,7 +91,7 @@ equiv_opt -assert opt
design -load postopt
wreduce
select -assert-count 1 t:$sdffe r:WIDTH=2 %i
select -assert-count 0 t:$sdffe %% t:* %D
select -assert-count 0 t:$sdffe %% t:* %D t:$input_port %d
####################
@@ -126,4 +127,4 @@ sat -tempinduct -verify -prove-asserts -show-ports miter
design -load gate
select -assert-count 1 t:$sdffe r:WIDTH=3 %i
select -assert-count 0 t:$sdffe %% t:* %D
select -assert-count 0 t:$sdffe %% t:* %D t:$input_port %d