mirror of
https://github.com/YosysHQ/yosys.git
synced 2026-08-22 14:17:27 +02:00
Allow whitebox modules to be overwritten
This commit is contained in:
@@ -8,8 +8,6 @@ rename test gold
|
||||
miter -equiv -flatten -make_outputs gold gate miter
|
||||
sat -verify -prove trigger 0 -show-ports miter
|
||||
|
||||
delete A:whitebox # Necessary since whiteboxes cannot
|
||||
# be overwritten...
|
||||
synth_ice40 -top gate
|
||||
|
||||
read_verilog test_arith.v
|
||||
|
||||
Reference in New Issue
Block a user