clockgate: test $sdffe rejected
This commit is contained in:
@@ -1,5 +1,6 @@
|
||||
yosys -import
|
||||
read_verilog clockgate.v
|
||||
read_verilog ../sim/sdffe.v
|
||||
yosys proc
|
||||
opt
|
||||
|
||||
@@ -194,6 +195,9 @@ select -module dffe_11 -assert-count 0 t:\\neg_small_tielo
|
||||
select -module dffe_10 -assert-count 1 t:\$_NOT_
|
||||
select -module dffe_11 -assert-count 0 t:\$_NOT_
|
||||
|
||||
# $sdffe is not gated
|
||||
select -module sdffe -assert-count 0 sdffe t:* t:\$sdffe %d
|
||||
|
||||
#------------------------------------------------------------------------------
|
||||
|
||||
design -load before
|
||||
|
||||
Reference in New Issue
Block a user