1364.1-2002 - IEEE Standard for Verilog Register Transfer Level Synthesis