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