Verilog A, Currently, SIMetrix does not enforce this … 2.