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

Asynchronous Viterbi Decoder in Action Systems

Johanna Tuominen, Juha Plosila, Asynchronous Viterbi Decoder in Action Systems. TUCS Technical Reports 710, 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. Recently, we have been exploiting
possibilities to formally model power consumption. That is 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. In this paper, we present a formal
model for asynchronous Viterbi decoder, which will be used as a
case study for the power estimation flow in the future.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tTuPl05b,
  title = {Asynchronous Viterbi Decoder in Action Systems},
  author = {Tuominen, Johanna and Plosila, Juha},
  number = {710},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2005},
  ISBN = {952-12-1602-6},
}

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

Edit publication