Vortragende(r): Baruch Sterin
SPIEC (Subset and Permutation-Invariant Equivalence Checking) is the problem of finding whether one multiple-output boolean function multiple-output boolean function. That is, whether the larger function has a subset of inputs and outputs that can be permuted so that it equivalent to the smaller function. This problem has applications in Reverse Engineering and Technology Mapping. We present an algorithm to solve the problem.
Baruch Sterin is a Ph.D. candidate in Electrical Engineering and Computer Science at the University of California, Berkeley. He is working under the supervision of Robert K. Brayton. His interests are in Formal Verification and Logic Synthesis.