// This special monitor file monitors signals in the system.sv module initial $timeformat(0,2, " s", 10 ); always #1s $display("%t",$time ); always @(SENSOR.pressure) $display(" Pressure %0d mb", SENSOR.pressure ); initial $monitor(" Mode %0d", mode_index );