Title :
Are IEEE-1500-Compliant Cores Really Compliant to the Standard?
Author :
Benso, Alfredo ; Bosio, Alberto ; Prinetto, P. ; Prinetto, Paolo
Author_Institution :
Politec. di Torino, Turin, Italy
Abstract :
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.
Keywords :
IEEE standards; logic design; system-on-chip; IEEE-1500-compliant core; SoC design; commercial verification tool suite; functional verification; Computer bugs; Databases; Design automation; Guidelines; Hardware; Performance evaluation; Semiconductor device manufacture; System testing; Unified modeling language; Virtual manufacturing; IEEE 1500; SoC; functional verification; simulation;
Journal_Title :
Design & Test of Computers, IEEE
DOI :
10.1109/MDT.2009.46
