An Automata-Theoretic Approach to Behavioral Equivalence.

Srinivas Devadas, Kurt Keutzer

Browse the full ICCAD paper archive.