DocumentCode :
580520
Title :
Black-box and white-box early power intent simulation and verification: Two novel approaches
Author :
Mbarek, Ons ; Pegatoquet, Alain ; Auguin, Michel
Author_Institution :
LEAT, Univ. of Nice Sophia Antipolis, Sophia Antipolis, France
fYear :
2012
fDate :
23-25 Oct. 2012
Firstpage :
1
Lastpage :
8
Abstract :
In this paper, an early validation of efficient management strategies of multiple power domains is addressed as a new use case of Transaction-Level virtual prototypes. A generic methodology for adding power features to existing virtual platforms is proposed and a set of requirements to be met when applying it is listed. Added power features consist in capturing and simulating different power intent alternatives as well as verifying a set of incurred power properties. To apply the proposed methodology, two kinds of virtual prototypes are distinguished: white-box virtual prototypes composed of open source code Intellectual-Properties (IPs), and black-box ones composed of IPs with limited internal structure observability. In this work, the differences between both cases are delineated. In each case, an implementation method applying the methodology while meeting its requirements is proposed and evaluated.
Keywords :
energy management systems; formal verification; industrial property; system-on-chip; virtual prototyping; black box virtual prototypes; early power intent simulation; energy management; internal structure observability; open source code intellectual properties; power features; power-aware verification; system level design; system-on-chip; transaction level virtual prototypes; white box virtual prototypes; Analytical models; Contracts; IP networks; Instruments; Phasor measurement units; Prototypes; Registers; Energy management; Intellectual property; System-level design; System-on-Chip; Virtual prototyping;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design and Architectures for Signal and Image Processing (DASIP), 2012 Conference on
Conference_Location :
Karlsruhe
Print_ISBN :
978-1-4673-2089-4
Electronic_ISBN :
978-2-9539987-4-0
Type :
conf
Filename :
6385398
Link To Document :
بازگشت