• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Towards a Formal Power Estimation Framework

Johanna Tuominen, Tero Säntti, Juha Plosila, Towards a Formal Power Estimation Framework. TUCS Technical Reports 672, Turku Centre for Computer Science, 2005.

Abstract:

Conventionally, the correctness of functional and non-functional
properties of hardware components is ensured during design process
by simulation. Moreover, different description languages are
needed during development phases. Thus, by adopting the Action
Systems, we are able to use the same formalism from specification
down to implementation. In this study, we introduce a formal
approach for an abstract level power estimation in Action Systems
context. The purpose is to develop formal power estimation flow,
which can be used to monitor the power consumption from an
abstract level down to the gate level implementation.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tTuSaPl05a,
  title = {Towards a Formal Power Estimation Framework},
  author = {Tuominen, Johanna and Säntti, Tero and Plosila, Juha},
  number = {672},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2005},
  ISBN = {952-12-1517-8},
}

Belongs to TUCS Research Unit(s): Communication Systems (ComSys)

Edit publication