Power Contracts: A Formal Way Towards Power-Closure?!

Nitsche, Gregor and Grüttner, Kim and Nebel, Wolfgang
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.
09 / 2013
Methodik zum Entwurf von energiesparenden, verifizierten Systemen