Export

BIB

Alle Autoren

Nitsche, Gregor and Grüttner, Kim and Nebel, Wolfgang

Zusammenfassung

Since energy consumption continuously becomes a limiting factor for today'smicroelectronics, power-aware design space exploration won significantimportance in the design flows. Being strongly dependent on future designdecisions and low-level parameters, the challenge results, how to derive powerestimates from uncertain knowledge about later implementation details. For that purpose, high-level approaches are available, which either performtop-down synthesis and a power characterization of the concrete low-level systemor re-use abstract characteristics of high-level components to derive powermodels and to calculate the power consumption of the composed system. Hence,these approaches suffer either performance or accuracy, due to the trade-offbetween generating and considering implementation details respectively due tothe inaccuracy of abstractions. Additionally, reliability of such estimations isuncertain, since system and component power models lack general validity and atraceable provability within the composed, extra-functional design space ofpower, function and time.To address this lack of power-closure, this paper suggests power contracts toformalize power properties and as a foundation for a more traceable, provableand thus reliable power-aware design flow. For that purpose, we introduce theformal basics of contract-based design, discuss their improvements within thedesign flow and propose their application within the domain of power, giving anoutlook on a formal way towards power-closure.

Erscheinungsdatum

09 / 2013

Publikationstyp

inproceedings

Verlag

IEEE

Projekte

ENERSAVE
Methodik zum Entwurf von energiesparenden, verifizierten Systemen