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 SystemCOutil de vérification de la compatibilité avec le standard OCPCorrection des violations de protocoleOutil d’analyse de la couverture fonctionnelleRens. : www.jedatechnologies.com