Introduction to logic synthesis using Verilog HDL - Reese, Robert B. 1958- (Morgan & Claypool Publishers, 2006)
Part of: Synthesis digital library of engineering and computer science.