Title :
System specification with the SpecCharts language
Author :
Narayan, Sanjiv ; Vahid, Frank ; Gajski, Daniel D.
Author_Institution :
Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
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 :
VLSI; circuit CAD; specification languages; SpecCharts language; VHDL; VLSI; behavioral hierarchy; high-level communication; system specification; system-level design; Control system synthesis; Design automation; Handicapped aids; Hardware; High level synthesis; LAN interconnection; Logic programming; Protocols; Specification languages; System-level design;
Journal_Title :
Design & Test of Computers, IEEE
