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

Kevin Peterson, Yvon Savaria. Assertion-based on-line verification and debug environment for complex hardware systems. In ISCAS (4). pages 685-688, 2004.

Abstract

Abstract is missing.