Verilog coding for logic synthesis - Lee, Weng Fook (New Jersey Wiley, 2013)