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

On the verification of automotive protocols. - G. Zarri; Federico Colucci; F. Dupuis; Riccardo Mariani; Mario Pasquariello; G. Risaliti; C. Tibaldi (DATE Designers' Forum, 2006)