verilog-coding-for-logic-synthesis