KIT | KIT-Bibliothek | Impressum | Datenschutz

An approach to knowledge-based ASIC specification

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


An approach is described for knowledge-based acquisition and checking of system-specification data using frames and rules. Beside the functional description, electrical, timing, environmental, and test-oriented specification data is captured. The representation of a complete specification in a frame knowledge base provides support and control of essential design and verification steps

Zugehörige Institution(en) am KIT Institut für Technik der Informationsverarbeitung (ITIV)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 1989
Sprache Englisch
Identifikator KITopen-ID: 1000014353
Erschienen in Proceedings of the IEEE 1989 Custom Integrated Circuits Conference, 15-18 May 1989, San Diego, CA
Verlag American Physical Society (APS)
Seiten 19.2/1 - 4
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page