Natale Barsotti, Riccardo Mariani, Matteo Martinelli, Mario Pasquariello. Dynamic Verification of OCP-based SoC. In Proceedings of the 2005 International Symposium on System-on-Chip, Tampere, Finland, November 15-17, 2005. pages 22, IEEE, 2005. [doi]
Abstract is missing.