Book in verilog logic-circuits Introduction to Logic Circuits & Logic Design with Verilog (link.springer.com)
