mirror of
https://github.com/YosysHQ/yosys
synced 2025-08-10 21:20:53 +00:00
Fix warnings
This commit is contained in:
parent
ccdf989025
commit
0a66720f6f
2 changed files with 3 additions and 3 deletions
|
@ -120,7 +120,7 @@ miter -equiv -flatten -make_assert -make_outputs gold gate miter
|
|||
sat -verify -prove-asserts -show-ports miter
|
||||
|
||||
design -load read
|
||||
hierarchy -top mux_case_unbal_7_7
|
||||
hierarchy -top mux_case_unbal_8_7
|
||||
prep
|
||||
design -save gold
|
||||
muxpack
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue