Digital logic simulation and CPLD programming - Waterman, Steve (Prentice Hall, 2003)