verilog-hdl-synthesis-a-practical-primer-j-bhasker