Method and system to perform equivalency checks

摘要

An improved approach is provided to implement equivalency checking. A check is performed as to whether two designs are equivalent without needing to analyze their outputs on a cycle-by-cycle basis. Instead, the two designs are checked to see if they are equivalent on the transaction-level. This approach abstracts the timing delays between the two designs, which allows verification of data transportation and transformation between the designs.

主权项

1. A computer-implemented method for circuit design verification, comprising:
invoking at least an equivalency checker that executes a sequence of instructions with at least one micro-processor of a computing system in performing a set of processes, the set of processes comprising: identifying a specification design; identifying an implementation design; generating a set of transactions to be applied to the specification design and the implementation design; applying the set of transactions in a specified order to the specification design and the implementation design, such that a first order of transactions is output from the specification design and a second order of transactions is output from the implementation design; and determining equivalency between the specification design and the implementation design by checking whether the first order of transactions matches the second order of transactions, wherein the equivalency is identified even when the specification design and the implementation design are not matchable on a cycle-by-cycle basis.