Digital logic testing and simulation (2nd ed.)

This thoroughly revised edition of the author's textbook first published in 1986 has been updated to include coverage of: BDDs (binary decision diagrams) and cycle-based simulation; tester architectures/STIL (standard test interface language); and hardware design language (HDL).