mirror of
https://github.com/YosysHQ/yosys
synced 2026-08-08 07:03:11 +00:00
tests: exclude signorm marker cells from muxcover's cell-type assertion
This commit is contained in:
parent
32d013f807
commit
1e60812fdc
1 changed files with 1 additions and 1 deletions
|
|
@ -539,7 +539,7 @@ simplemap t:\$mux
|
|||
muxcover
|
||||
opt_clean -purge
|
||||
select -assert-count 1 t:$_MUX8_
|
||||
select -assert-none t:$_MUX8_ %% t:* %D
|
||||
select -assert-none t:$_MUX8_ %% t:* %D t:$*_port %d
|
||||
techmap -map +/simcells.v t:$_MUX8_
|
||||
design -stash gate
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue