KIT | KIT-Bibliothek | Impressum | Datenschutz

An approach to computer-aided specification

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


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

Zugehörige Institution(en) am KIT Institut für Technik der Informationsverarbeitung (ITIV)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 1990
Sprache Englisch
Identifikator ISSN: 0018-9200
KITopen-ID: 1000014351
Erschienen in IEEE Journal of Solid-State Circuits
Verlag Institute of Electrical and Electronics Engineers (IEEE)
Band 25
Heft 2
Seiten 335 - 345
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page