Standard Gotchas: Subleties in the Verilog and ...