verilog-checker-with-a-stable-signal