Constraint memory node identification in sequential logic

A non-transitory, computer-readable medium storing computer-executable instructions for identifying memory nodes in a design such that said identified memory nodes can be subsequently utilized to verify and finalize the design prior to fabricating an integrated circuit using the finalized design, the instructions when executed by a computer cause the computer to execute a process comprising:

• for a sequential cell of the design, extracting constraint arcs between constraint and related pins;
• for each constraint arc,
• generating an original vector set including initialization waveforms;
• running a plurality of simulations using a plurality of vector sets to generate a plurality of node sets, each simulation generating a corresponding node set that toggles based on waveforms provided by a corresponding vector set, each vector set derived from the original vector set;
• and
• calculating a final node set of memory nodes for the sequential circuit cell by subtracting one node set from another node set, such that the design is subsequently verified and finalized based on at least the final node set of the memory nodes,
• wherein said running the plurality of simulations includes running four simulations using four vector sets to generate first, second, third, and fourth node sets, and
• wherein said calculating the final node set includes:
• combining the first node set and the second node set to generate a first combined node set;
• combining the third node set and the fourth node set to generate a second combined node set;
• and
• subtracting the first combined node set from the second combined node set.

A computer comprising an electronic design automation (EDA) tool including program instructions for identifying memory nodes in a design such that said identified memory nodes can be subsequently utilized to verify and finalize the design prior to fabricating an integrated circuit using the finalized design, said program instructions performing a process comprising:

• for a sequential cell of the design, extracting arcs between constraint and related pins;
• for each constraint arc,
• generating an original vector set including initialization waveforms;
• running a plurality of simulations using a plurality of vector sets to generate a plurality of node sets, each simulation generating a corresponding node set that toggles based on waveforms provided by a corresponding vector set, each vector set derived from the original vector set;
• and
• calculating a final node set of memory nodes for the sequential circuit cell by subtracting one node set from another node set, such that the design is subsequently verified and finalized based on at least the final node set of the memory nodes,
• wherein said running the plurality of simulations includes running four simulations using four vector sets to generate first, second, third, and fourth node sets, and
• wherein said calculating the final node set includes:
• combining the first node set and the second node set to generate a first combined node set;
• combining the third node set and the fourth node set to generate a second combined node set;
• and
• subtracting the first combined node set from the second combined node set.

A method of identifying memory nodes in a design such that said identified memory nodes can be subsequently utilized to verify and finalize the design prior to fabricating an integrated circuit using the finalized design, the method comprising:

• receiving an original vector set including initialization waveforms;
• using a computer, for a sequential cell of the design, running a plurality of simulations using a plurality of vector sets to generate a plurality of node sets, each simulation generating a corresponding node set that toggles based on waveforms provided by a corresponding vector set, each vector set derived from the original vector set;
• and
• calculating a final node set of memory nodes for the sequential cell by subtracting one node set from another node set, such that the design is subsequently verified and finalized based on at least the final node set of the memory nodes,
• wherein said running the plurality of simulations includes running four simulations using four vector sets to generate first, second, third, and fourth node sets, and
• wherein said calculating the final node set includes:
• combining the first node set and the second node set to generate a first combined node set;
• combining the third node set and the fourth node set to generate a second combined node set;
• and
• subtracting the first combined node set from the second combined node set.