OCPchecker de Jeda Technologies

Cette bibliothèque de vérification accélère et fiabilise la conception de systèmes sur une puce basés sur le protocole OCP (Open Core Protocol).

Bibliothèque écrite en langage SystemC
Outil de vérification de la compatibilité avec le standard OCP
Correction des violations de protocole
Outil d’analyse de la couverture fonctionnelle

Rens. : www.jedatechnologies.com