62142-2005 - IEC/IEEE International Standard - Verilog(R) Register Transfer Level Synthesis | IEEE Standard | IEEE Xplore