Verification Series Part 6 : SystemVerilog Assertions Basics | Comidoc