Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT.

Gianpiero Cabodi Leandro Dipietro Marco Murciano Sergio Nocco

Published in: J. Electron. Test. (2010)

Keyphrases

image analysis

special case

shape analysis