Verilog simulator related domains (4)