CAD OF LOGIC CIRCUITS: RULE STRUCTURE FOR INSERTING NEW ELEMENTS

摘要

In the synthesis procedure for circuit design, a convenient notation is used for the insertion of new instances in the consequence portion of a rule having an antecedent form and a consequence portion. The notation is of the form (outputs ...) = (operator inputs ...). The outputs and input may be signal names or data base pin access forms. Double quoted strings of characters can represent specific signals in the global design model quoted strings of characters including the % character can be used for local connectivity among logic elements representing multiple equations by the rule. The equations are converted to model instance structures and are inserted into the data base. Creation of database pointers are generated automatically and not by rule writer, greatly simplifying the rule syntax.