• 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