Equivalence Checking By Logic Relaxation

Article

Combinational equivalence checking for threshold logic circuits

Article

SAT-based equivalence checking of threshold logic designs for nanotechnologies

Article

On equivalence checking and logic synthesis of circuits with a common specification

Article

Efficient equivalence checking with partitions and hierarchical cut-points

Article

Equivalence Checking of Reversible Circuits

Article

Partially redundant logic detection using symbolic equivalence checking in reversible and irreversible logic circuits

Article

Equivalence checking using independent cuts [logic design verification]

Article

Property Checking By Logic Relaxation

Article