FunState - An Internal Design Representation for Codesign

Beitrag in einer Fachzeitschrift

Details zur Publikation

Autorinnen und Autoren: Ernst R, Griess M, Strehl K, Teich J, Thiele L, Ziegenbein D
Zeitschrift: IEEE Transactions on Very Large Scale Integration (Vlsi) Systems
Verlag: Institute of Electrical and Electronics Engineers (IEEE)
Jahr der Veröffentlichung: 2001
Heftnummer: Vol. 9, No. 4
Seitenbereich: 524-544
ISSN: 1063-8210


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 how properties relevant for scheduling and verification of specification models such as Boolean dataflow, cyclostatic dataflow, synchronous dataflow, marked graphs, and communicating state machines as well as Petri nets can be represented in the FunState model of computation. 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 the form of a periodic graph. The feasibility of the novel approach is shown with an asynchronous transfer mode switch example.

FAU-Autorinnen und Autoren / FAU-Herausgeberinnen und Herausgeber

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

Einrichtungen weiterer Autorinnen und Autoren

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


Ernst, R., Griess, M., Strehl, K., Teich, J., Thiele, L., & Ziegenbein, D. (2001). FunState - An Internal Design Representation for Codesign. IEEE Transactions on Very Large Scale Integration (Vlsi) Systems, Vol. 9, No. 4, 524-544.

Ernst, Rolf, et al. "FunState - An Internal Design Representation for Codesign." IEEE Transactions on Very Large Scale Integration (Vlsi) Systems Vol. 9, No. 4 (2001): 524-544.


Zuletzt aktualisiert 2018-29-07 um 22:23