Max+Plus II software and design examples to accompany fundamentals of digital logic with verilog design - Brown, Stephen D. (McGraw-Hill, 2003)
Title from container.