 | Monter d'un niveau |
Peterson, K., & Savaria, Y. (mai 2004). Assertion-based on-line verification and debug environment for complex hardware systems [Communication écrite]. IEEE International Symposium on Circuits and Systems (ISCAS 2004), Vancouver, BC, Canada. Lien externe
