Leetcode Systemverilog Chipverify Assertions