How to write SVA assumption

SystemVerilog
13

In reply to ben@SystemVerilog.us:

Google Photos