Rule-driven EDIF reference solving

The main features of a general reference solving system for EDIF (Electronic Design Interchange Format) applications are discussed. The solving process is rule-driven, in order to make it applicable to various versions of EDIF, and relies on a dual reduce-resolve method. In addition, the limits within which the system operates are investigated. It is noted that the system rule base can act as a model of the EDIF referencing schema. The system can therefore be used in assisting in the design of new EDIF versions. The reference subnet has been implemented for applications based on both EDIF Version 2 0 0 and Version 2 9 0.<
>