Functional verification of complex SoC designs is a challenging task, which fortunately is increasingly supported by automation. This article proposes a verification component for IEEE Std 1500, to be plugged into a commercial verification tool suit

Benso, Alfredo

Bosio, Alberto

Di Carlo, Stefano

Prinetto, Paolo Ernesto

English

Functional verification of complex SoC designs is a challenging task, which fortunately is increasingly supported by automation. This article proposes a verification component for IEEE Std 1500, to be plugged into a commercial verification tool suite

BENSO, Alfredo

BOSIO, ALBERTO

DI CARLO, STEFANO

PRINETTO, Paolo Ernesto

PORTO@iris (Publications Open Repository TOrino - Politecnico di Torino)

Are IEEE 1500 compliant cores really compliant to the standard?

PORTO Publications Open Repository TOrino

A P1500 Compliant BIST-Based Approach to Embedded RAM Diagnosis,’’

A Unified DFT Verification Methodology,’’

Functional Verification Coverage Measurement and Analysis,

Std 1500, Testability Method for Embedded Core-Based Integrated Circuits,

International audienceThe IEEE 1500 Standard for Embedded Core Testing proposes a ﬂexible hardware test wrapper architecture for supporting the test of modern System-On-Chip. The veriﬁcation 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 veriﬁcation framework based on a commercial functional veriﬁcation suite allowing: (i) the design of reusable veriﬁcation components; (ii) the veriﬁcation 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 veriﬁcation 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 veriﬁcation component to insert in a global SoC Veriﬁcation Strategy

Prinetto, Paolo

HAL Descartes

Are IEEE 1500 Compliant Cores Really Compliant to the Standard ?

http://www.computer.org/portal/site/design/index.jsp

Are IEEE 1500 compliant cores really compliant to the standard?

Abstract

Similar works

Full text

Available Versions

PORTO@iris (Publications Open Repository TOrino - Politecnico di Torino)

PORTO Publications Open Repository TOrino

HAL Descartes