"Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring" - читать интересную книгу автора (Marc Boulé, Zeljko Zilic)