Are IEEE 1500 Compliant Cores Really Compliant to the Standard ?

Alberto Bosio 1 Alfredo Benso 2 Stefano Di Carlo 2 Paolo Prinetto 2
1 SysMIC - Conception et Test de Systèmes MICroélectroniques
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : The IEEE 1500 Standard for Embedded Core Testing proposes a flexible hardware test wrapper architecture for supporting the test of modern System-On-Chip. The verification of the compliance of an embedded core to the standard is a major challenge for both core-integrators and core-users. In this paper we propose an IEEE 1500 SECT verification framework based on a commercial functional verification suite allowing: (i) the design of reusable verification components; (ii) the verification of a critical part of the standard using an embedded interface with a commercial simulator; (iii) the use of functional coverage metrics to measure the quality and completeness of the verification process. The paper also presents the application of an implementation of the proposed framework to the validation of a benchmark SoC. The main outcome of this paper is a verification component to insert in a global SoC Verification Strategy.
Type de document :
Article dans une revue
IEEE Design & Test, IEEE, 2009, 6 (3), pp.016-024. 〈http://www.computer.org/portal/site/design/index.jsp〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00371196
Contributeur : Alberto Bosio <>
Soumis le : jeudi 26 mars 2009 - 18:27:06
Dernière modification le : jeudi 24 mai 2018 - 15:59:24

Identifiants

  • HAL Id : lirmm-00371196, version 1

Collections

Citation

Alberto Bosio, Alfredo Benso, Stefano Di Carlo, Paolo Prinetto. Are IEEE 1500 Compliant Cores Really Compliant to the Standard ?. IEEE Design & Test, IEEE, 2009, 6 (3), pp.016-024. 〈http://www.computer.org/portal/site/design/index.jsp〉. 〈lirmm-00371196〉

Partager

Métriques

Consultations de la notice

166