Syntax and semantics of the SpecC language (1997) [24 citations — 9 self]
Download:
|
|
by Jianwen Zhu, Rainer Domer, Daniel D. Gajski
In Proceedings of the SASIMI Workshop
http://www.ics.uci.edu/~doemer/publications/SpecC_TR97_16.ps.gz
Add To MetaCart
Abstract:
In this paper, we describe the goals for the development of an executable modeling language in the context of a homogeneous codesign methodology featuring the synthesis, reuse and validation flow. A C based language called SpecC+ is proposed as an attempt to achieve these goals. The syntax and semantics of the language is presented and compared with existing HDLs and we conclude it is
Citations
| 1713 | Statecharts: A Visual Formalism for Complex Systems – Harel - 1987 |
| 1268 | The C++ Programming Language – Stroustrup - 1997 |
| 719 | The Java Programming Language – Arnold, Gosling - 1996 |
| 190 | Specification and Design of Embedded Systems – Gajski, Vahid, et al. - 1994 |
| 144 | Object Request Broker: Architecture and Specification.” OMG Document Number 91.12.1 – “Common - 1991 |
| 53 | Using Statecharts for hardware description and synthesis – Drusinsky, Harel - 1989 |
| 40 | The Structure and Semantics of Actor Languages – Agha - 1991 |
| 5 | SpecCharts: VHDL front-end for embedded systems – Gajski, Vahid, et al. - 1995 |
| 2 | Olukotun "A General Method for Compiling Event-Driven Simulation – French, Lam, et al. - 1995 |
| 2 | Sangiovanni-Vincentelli; "Comparing Models of Computation – Lee, A |
