VLSI Testing # Formal Verification # Model checking # using System verilog for verification

System verilog for verification using Modport interface