![]() | Up a level |
Peterson, K., & Savaria, Y. (2004, May). Assertion-based on-line verification and debug environment for complex hardware systems [Paper]. IEEE International Symposium on Circuits and Systems (ISCAS 2004), Vancouver, BC, Canada. External link