Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring - Boule, Marc.; Zilic, Zeljko; SpringerLink (Online service) (Dordrecht : Springer Science + Business Media B.V, 2008)
Keywords: Online data processing; Integrated circuits -- Verification