Questions to exercise my SystemVerilog, Assertions and UVM skills