System specification and synthesis with the SpecCharts language
- 10 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
There is a need for capturing behavioral specifications of entire systems and obtaining multi-chip designs from those specifications. The authors discuss system level specification and synthesis issues, along with the unique requirements they place on a specification language. Since no current language meets those requirements, the SpecCharts language was created on top of VHDL (VHSIC Hardware Description Language). The SpecCharts language permits concise, understandable, and accurate specification of systems while supporting the concept of behavioral hierarchy, which considerably aided the specification of hardware systems modeled by the authors. Its constructs aid system level synthesis tasks such as partitioning, estimation, interface synthesis, and bus merging by permitting high level communication, and maintaining information and permitting modification at the level at which most modelers think at.Keywords
This publication has 8 references indexed in Scilit:
- Synthesis from VHDLPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- STATEMATE: a working environment for the development of complex reactive systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- HERCULES-a system for high-level synthesisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Translating system specifications to VHDLPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1991
- SpecCharts : A Language for System Level SynthesisPublished by Elsevier ,1991
- The MICON system for computer designPublished by Association for Computing Machinery (ACM) ,1989
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Communicating sequential processesCommunications of the ACM, 1978