Name
Title | ||
|---|---|---|
Black-box and white-box early power intent simulation and verification: Two novel approaches |
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. |
Year | Venue | Keywords |
|---|---|---|
2012 | Design and Architectures for Signal and Image Processing | 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,Energy management,Intellectual property,System-level design,System-on-Chip,Virtual prototyping |
Field | DocType | ISBN |
Black box (phreaking),Observability,Power domains,System on a chip,White box,Source code,Computer science,Real-time computing,Formal verification,Virtual prototyping | Conference | 978-2-9539987-4-0 |
Citations | PageRank | References |
1 | 0.39 | 3 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Mbarek, O. | 1 | 1 | 0.39 |
| Alain Pegatoquet | 2 | 135 | 19.71 |
| Michel Auguin | 3 | 238 | 35.10 |