Verification of large synthesized designs

Abstract

The problem of checking equality of boolean functions can be solved successfully using existing techniques for only a limited range of examples. We extend the range by using a test generator and the divide and conquer paradigm.