read_verilog_assume_asserts.ys 38 Bytes