Improving SAT-based Combinational Equivalence Checking through circuit preprocessing.

Fabrcio Vivas Andrade, Leandro Maia Silva, Antnio Otvio Fernandes

Browse the full ICCD paper archive.