Design verification of FPGA implementations
X.T. Chen, Wei Kang Huang, N. Park, F.J. Meyer, Fabrizio Lombardi · IEEE Design & Test of Computers · 1999
This approach uses the criterion of equivalent classes to establish the equivalence between two circuits and designs. Combining simulation and automatic test pattern generation, it exploits similarities among designs to assess logical equivalence quickly and reliably.