Publication

Statechart based HW/SW codesign system (1999)

Author(s): I.D. Bates;E.G. Chester;D.J. Kinniment

  • : Statechart based HW/SW codesign system

Abstract: The Codesign Finite State Machine (CFSM) formal model provides a suitable approach for the description of hardware/software systems. The POLIS tool from Berkeley implements the CFSM methodology but currently relies on the textually based Esterel specification language as a high level for the description of individual CFSMs. The designer must then use the Ptolemy simulator to interconnect the CFSM network and perform co-simulation. This paper describes work in progress in developing a system which instead aims to use StatemateTM, a statecraft based tool for seamless specification and co-simulation of the entire CFSM network, whilst using the POLLS tool for `C', VHDL code generation and performance estimation. This technique should give the clear advantages of using a graphical specification language together with a uniform co-simulation framework.

Notes: TY - JOUR U1 - 99094776318 Compilation and indexing terms, Copyright 2004 Elsevier Engineering Information, Inc. U2 - Codesign finite state machines (CFSM) Hardware/software codesign systems Esterel programming language

  • Short Title: Statechart based HW/SW codesign system
  • Journal: Hardware/Software Codesign - Proceedings of the International Workshop Proceedings of the 1999 7th International Conference on Hardware/Software Codesign (CODES'99), May 3-May 5 1999
  • Pages: 162-166
  • Publisher: IEEE, Los Alamitos, CA, USA
  • Publication type: Article
  • Bibliographic status: Published

Keywords: Finite automata Sequential machines Computer hardware description languages C (programming language) Codes (symbols) Computer simulation Computer systems programming Response time (computer systems) Computer architecture

Staff

Dr Graeme Chester
Senior Lecturer