Dynamic Verification of OCP-based SoC. - Natale Barsotti; Riccardo Mariani; Matteo Martinelli; Mario Pasquariello (SoC, 2005)