RULE STRUCTURE FOR INSERTION OF NEW ELEMENTS IN A CIRCUIT DESIGN SYNTHESIS PROCEDURE

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 a antecedent form and a consequence portion. The notation is of the form EQU (outputs . . . )=(operator inputs . . . ). The outputs and inputs may be signal names or data base pin access forms. Double quoted strings of characters can represent specific signals in the global design model. Double quoted strings of characters including the % character can be used for local connectivity among logic elements representing multiple equations inserted 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 the rule writer, greatly simplifying the rule syntax.