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

Formal Energy Estimation Framework

Johanna Tuominen, Juha Plosila, Formal Energy Estimation Framework. TUCS Technical Reports 696, Turku Centre for Computer Science, 2005.

Abstract:

Conventionally, the correctness of functional and non-functional
properties of hardware components is ensured during the design
process by simulation. Furthermore, different description
languages are needed during the design process. By adopting the
Action Systems, we are able to use the same formalism from
specification down to implementation. In this paper, we introduce
a formal energy estimation framework for hardware components.
Moreover, we demonstrate the formal energy estimation by using
example system descriptions.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tTuPl05a,
  title = {Formal Energy Estimation Framework},
  author = {Tuominen, Johanna and Plosila, Juha},
  number = {696},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2005},
  ISBN = {952-12-1578-X},
}

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

Edit publication