Philip R. Moorby & Donald E. Thomas 
Verilog(R) Hardware Description Language [PDF ebook] 

XV Acknowledgments xvii Chapter 1 Verilog — A Tutorial Introduction Getting Started 2 A Structural Description 2 Simulating the binary To ESeg Driver 4 Creating Ports For the Module 7 Creating a Testbench For a Module 8 Behavioral Modeling of Combinational Circuits II Procedural Models 12 Rules for Synthesizing Combinational Circuits 13 Behavioral Modeling of Clocked Sequential Circuits 14 Modeling Finite State Machines IS Rules for Synthesizing Sequential Systems 18 Non-Blocking Assignment("