Assertion-based on-line verification and debug environment for complex hardware systems.

Kevin Peterson, Yvon Savaria

Browse the full ISCAS paper archive.