System, method and computer program product for equivalence checking between designs with sequential differences

1. A method for equivalency checking between a first design and a second design, comprising:

identifying sequential differences between a first design and a second design;

determining whether the first design and the second design are equivalent, utilizing the identified sequential differences; and

outputting an indication as to the equivalency based on the determination;

wherein the sequential differences include differences in an input to output latency of the first design and the second design, differences in a frequency at which inputs of the first design and the second design are sampled, and differences in a frequency at which outputs of the first design and the second design are produced.

2. The method of claim 1 , wherein the sequential differences include a protocol associated with the first design and the second design.

3. The method of claim 2 , wherein the protocol includes an input/output protocol.

4. The method of claim 2 , wherein a first protocol of the first design includes a serial protocol, and a second protocol of the second design includes a parallel protocol.

5. The method of claim 1 , wherein the sequential differences include differences in a state mapping associated with the first design and the second design.

6. The method of claim 1 , wherein the sequential differences reflect pipelining differences associated with the first design and the second design.

7. The method of claim 1 , wherein the sequential differences reflect differences in scheduling of computations associated with the first design and the second design.

8. The method of claim 1 , wherein the sequential differences reflect micro-architecture differences associated with the first design and the second design.

9. The method of claim 1 , wherein the sequential differences are specified utilizing waveforms.

10. The method of claim 9 , wherein the waveforms reflect a time variation of a signal.

11. The method of claim 1 , wherein the sequential differences are specified utilizing constraints.

12. The method of claim 11 , wherein the constraints are associated with temporal transformations of signals.

13. The method of claim 1 , wherein the sequential differences are specified utilizing transactions.

14. The method of claim 13 , wherein normal transactions of the first and second designs are proven to be equivalent with respect to a reset transaction.

15. The method of claim 13 , wherein normal transactions of the first and second designs are proven to be equivalent without a reset transaction.

16. The method of claim 1 , wherein the first design is a system level model design.

17. The method of claim 1 , wherein the second design is a register transfer level design.

18. The method of claim 1 , wherein it is determined whether the first design and the second design are equivalent by mapping the inputs associated with the first design and the second design utilizing the identified sequential differences, and determining whether the outputs of the first design and the second design are equivalent.

19. The method of claim 1 , wherein if it is determined that the first design and the second design are equivalent, a proof of the equivalency is output.

20. The method of claim 1 , wherein if it is determined that the first design and the second design are not equivalent, a counter example is output for illustrating the non-equivalency.

21. The method of claim 20 , wherein the counter example is utilized for correcting the non-equivalency.

22. The method of claim 1 , wherein the input to output latency of the first design and the second design includes a number of cycles for the first design and the second design to process the input and generate an output based on the input.

23. A computer program product embodied on a computer readable medium for equivalency checking between a first design and a second design, comprising:

computer code for identifying sequential differences between a first design and a second design;

computer code for determining whether the first design and the second design are equivalent, utilizing the identified sequential differences; and

computer code for outputting an indication as to the equivalency based on the determination;

wherein the sequential differences include differences in an input to output latency of the first design and the second design, differences in a frequency at which inputs of the first design and the second design are sampled, and differences in a frequency at which outputs of the first design and the second design are produced.

24. A system for equivalency checking between a first design and a second design, comprising:

a processor coupled to memory and an output device, the processor executing computer code for determining whether a first design and a second design are equivalent, utilizing a plurality of sequential differences;

wherein an indication as to the equivalency is output utilizing the output device;

wherein the sequential differences include differences in an input to output latency of the first design and the second design, differences in a frequency at which inputs of the first design and the second design are sampled, and differences in a frequency at which outputs of the first design and the second design are produced.

25. A data structure embodied on a computer readable medium for equivalency checking between a first design and a second design, comprising:

an object identifying sequential differences between a first design and a second design;

wherein the object is utilized for determining whether the first design and the second design are equivalent;

wherein an indication as to the equivalency is output based on the determination;

wherein the sequential differences include differences in an input to output latency of the first design and the second design, differences in a frequency at which inputs of the first design and the second design are sampled, and differences in a frequency at which outputs of the first design and the second design are produced.

26. A method for equivalency checking between a first design and a second design, comprising:

mapping inputs associated with a first design and a second design utilizing a plurality of sequential differences;

determining whether outputs of the first design and the second design are equivalent; and

outputting an indication as to the equivalency based on the determination;

wherein the sequential differences include differences in an input to output latency of the first design and the second design, differences in a frequency at which the inputs of the first design and the second design are sampled, and differences in a frequency at which the outputs of the first design and the second design are produced.