"Generating hardware assertion checkers: for hardware verification, emulation, post-fabrication debugging and on-line monitoring" - читать интересную книгу автора (Marc Boulé, Zeljko Zilic)