1. 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: 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; using a computer, 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.