Generating hardware assertion checkers for hardware verification, emulation, post-fabrication debugging and on-line monitoring - Boule, Marc; Zilic, Zeljko (U.K. Springer Science+Business Media, 2008)
Keywords: Integrated circuits