System specification with the SpecCharts language
- 1 December 1992
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Design & Test of Computers
- Vol. 9 (4) , 6-13
- https://doi.org/10.1109/54.173326
Abstract
The SpecCharts language, which builds on VHDL to meet the unique requirements of system-level specification and design, is described. With an underlying model of behavioral hierarchy, SpecCharts modeling constructs enable designers to capture system specifications simply and precisely. SpecCharts constructs facilitate system-level design tasks by permitting high-level communication, maintaining information, and allowing design modification at an easy-to-comprehend level. The results of system-level design tasks are reflected in a modified SpecCharts, enabling the designer to evaluate the quality of each step. A detailed example demonstrates the use of SpecCharts.<>Keywords
This publication has 9 references indexed in Scilit:
- System Level Specification and SynthesisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- 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
- Specification partitioning for system designPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- System specification and synthesis with the SpecCharts languagePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Translating system specifications to VHDLPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1991
- The Verilog® Hardware Description LanguagePublished by Springer Nature ,1991
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Communicating sequential processesCommunications of the ACM, 1978