Patent ID: 8718998

Claim:
A method comprising: a computer analyzing a design to identify which uninitialized memory elements in the design have an initial value that is a don't care to the logic which is connected to the uninitialized memory elements, wherein analyzing the design comprises: creating a model that includes a first instance of at least one of the uninitialized memory elements and corresponding containing logic and a second instance of the at least one of the uninitialized memory elements and corresponding containing logic, wherein corresponding inputs of the first instance and the second instance are connected together, wherein the corresponding containing logic is the logic that is coupled to an output of the at least one of the uninitialized memory elements; initializing the at least one of the uninitialized memory elements to one binary value in the first instance and the opposite binary value in the second instance; and processing the model to determine whether or not outputs of the first instance match outputs of the second instance for all input stimuli, wherein the input stimuli are provided on input signals to the first instance and the second instance, wherein the input signals are connected to one or both of the inputs to the at least one uninitialized memory elements and the containing logic; wherein the at least one of the uninitialized memory element are included in the identified uninitialized memory elements responsive to the outputs of the first instance matching the outputs of the second instance for all input stimuli; and a computer simulating the design, wherein the simulating includes initializing the identified uninitialized memory elements to a known value.