Towards computer aided specification of analog components

A knowledge-based approach to computer-aided specification of analog and digital components is presented. It provides support and control for the development of requirement specifications and environment descriptions as well as for high-level system description. As this approach is intended to support microsystem designs, it provides a unique specification model for analog, digital, optoelectronic, actuator, and sensor components. Object-oriented data representation and rule-based consistency checking enable the management of requirements and design results as well as early and simulation independent evaluation. The evaluation is part of the DEBYS (design by specification) project of an integrated specification, estimation, design, analysis, and test system