muxcover_mux4_nodecode.ys 107 Bytes
Newer Older
1 2 3
read_verilog ../top.v
synth -top top
muxcover -mux4 -nodecode
4
tee -o result.log dump
5
write_verilog synth.v