An approach to computer-aided specification

Author

Mueller-Glaser, K.D. ; Bortolazzi, Juergen

Author_Institution

Dept. of Electr. Eng., Erlangen-Nuernberg Univ., West Germany

Volume

25

Issue

2

fYear

1990

fDate

4/1/1990 12:00:00 AM

Firstpage

335

Lastpage

345

Abstract

A knowledge-based approach to computer-aided specification (CAS), covering the acquisition, checking, and processing of functional, electrical, timing, environmental, and test-oriented specification data using object-oriented data representation and rule-based consistency checking, is proposed. The approach, which covers specification data for digital, analog, optoelectronic, actuator, and sensor components, is part of the DEBYS (design by specification) system, an integrated environment for the specification, design, verification, test, and design management of microcomponents. A brief description of DEBYS is followed by a detailed discussion of its CAS part

Keywords

database management systems; knowledge based systems; DEBYS; IKBS; actuator components; analog components; computer-aided specification; design by specification; design management of microcomponents; digital components; functional specification data; knowledge-based approach; object-oriented data representation; optoelectronic components; rule-based consistency checking; sensor components; test-oriented specification data; true system integration; Actuators; Application specific integrated circuits; Circuit testing; Content addressable storage; Design automation; Manufacturing; Optoelectronic and photonic sensors; Sensor systems; System testing; Timing;

fLanguage

English

Journal_Title

Solid-State Circuits, IEEE Journal of

Publisher

ieee

ISSN

0018-9200

Type

jour

DOI

10.1109/4.52154

Filename

52154