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;
