Counter Example using System Verilog