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