read_verilog_assume_asserts.ys 75 Bytes