"Partially Redundant Logic Detection Using Symbolic Equivalence Checking in ..."

David Y. Feinstein, Mitchell A. Thornton, D. Michael Miller (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics