Issue No. 04 - October/December (1992 vol. 9)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/54.173326
<p>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.</p>
S. Narayan, F. Vahid and D. D. Gajski, "System Specification with the SpecCharts Language," in IEEE Design & Test of Computers, vol. 9, no. , pp. 6-13, 1992.