KIT | KIT-Bibliothek | Impressum

An approach to computer-aided specification

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

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


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