FunState - An Internal Design Representation for Codesign

Beitrag bei einer Tagung


Details zur Publikation

Autor(en): Ernst R, Strehl K, Teich J, Thiele L, Ziegenbein D
Titel Sammelwerk: IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers
Verlag: IEEE Computer Society
Jahr der Veröffentlichung: 1999
Tagungsband: Proc. ICCAD'99, the IEEE/ACM Int. Conf. on Computer-Aided Design
Seitenbereich: 558-565
ISSN: 1092-3152


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.



FAU-Autoren / FAU-Herausgeber

Teich, Jürgen Prof. Dr.-Ing.
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)


Autor(en) der externen Einrichtung(en)
Eidgenössische Technische Hochschule Zürich (ETHZ) / Swiss Federal Institute of Technology in Zurich
Technische Universität Braunschweig


Zitierweisen

APA:
Ernst, R., Strehl, K., Teich, J., Thiele, L., & Ziegenbein, D. (1999). FunState - An Internal Design Representation for Codesign. In Proc. ICCAD'99, the IEEE/ACM Int. Conf. on Computer-Aided Design (pp. 558-565). San Jose, CA, US: IEEE Computer Society.

MLA:
Ernst, Rolf, et al. "FunState - An Internal Design Representation for Codesign." Proceedings of the IEEE/ACM Int. Conf. on Computer-Aided Design,, San Jose, CA IEEE Computer Society, 1999. 558-565.

BibTeX: 

Zuletzt aktualisiert 2018-07-08 um 16:08