DMCA
Funstatean internal design representation for codesign,” (1999)
Cached
Download Links
| Venue: | in Proceedings ICCAD, |
| Citations: | 58 - 18 self |
BibTeX
@INPROCEEDINGS{Thiele99funstateaninternal,
author = {L Thiele and K Strehl and D Ziegenbein and R Ernst and J Teich},
title = {Funstatean internal design representation for codesign,”},
booktitle = {in Proceedings ICCAD,},
year = {1999},
pages = {558--565}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract In this paper, an internal design model called FunState (functions driven by state machines) is presented that enables the representation of different types of system components and scheduling mechanisms using a mixture of functional programming and state machines. It is shown here how properties relevant for scheduling and verification of specification models like boolean dataflow, cyclostatic dataflow, synchronous dataflow, marked graphs, and communicating state machines as well as Petri nets may be represented in the FunState model. Examples of methods suited for FunState are described, such as scheduling and verification. They are based on the representation of the model's state transitions in form of a periodic graph.
