Introduction to logic circuits & logic design with Verilog - LaMeres, Brock J., (Springer, 2017)
Includes index.