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

Volume

9

Issue

4

fYear

1992

Firstpage

6

Lastpage

13

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;

fLanguage

English

Journal_Title

Design & Test of Computers, IEEE

Publisher

ieee

ISSN

0740-7475

Type

jour

DOI

10.1109/54.173326

Filename

173326