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

Formal Timing Model for Hardware Components

Tomi Westerlund, Juha Plosila, Formal Timing Model for Hardware Components. In: 22nd Norchip Conference, 293-296, 2004.

Abstract:

The correctness of functional and non-functional properties of
hardware components is ensured during development cycles
conventionally by simulation. Also different description languages
are needed during development phases. With Action Systems, we
are able to use the same formalism from a specification down into an
implementation. In this study we present Timed Action Systems, an
extension of Action Systems, with which a non-functional property,
time, can be modelled. We show how untimed models are transformed
into timed ones, and how timing characteristics of a model are analysed.

Files:

Abstract in PDF-format

BibTeX entry:

@INPROCEEDINGS{inpWePl04a,
  title = {Formal Timing Model for Hardware Components},
  booktitle = {22nd Norchip Conference},
  author = {Westerlund, Tomi and Plosila, Juha},
  pages = {293-296},
  year = {2004},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication