Verilog coding for logic synthesis - Lee, Weng Fook (Wiley, 2003)