yosys/tests/various/gzip_verilog.ys

3 lines
54 B
Plaintext
Raw Permalink Normal View History

read_verilog gzip_verilog.v.gz
select -assert-any top