• 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 for Hardware Systems

Johanna Tuominen, Tero Säntti, Juha Plosila, Towards a Formal Power Estimation Framework for Hardware Systems. In: 2005 International Symposium on System-on-Chip, 96-99, 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, exploit the possibilities to formally
model power consumption in Action Systems context. The purpose is to
develop formal power estimation flow, which can be used to monitor
the power consumption from abstract level down to the gate level
implementation.

Files:

Abstract in PDF-format

BibTeX entry:

@INPROCEEDINGS{inpTuSaPl05a,
  title = {Towards a Formal Power Estimation Framework for Hardware Systems},
  booktitle = {2005 International Symposium on System-on-Chip},
  author = {Tuominen, Johanna and Säntti, Tero and Plosila, Juha},
  pages = {96-99},
  year = {2005},
}

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

Edit publication