Equivalence Checking of Non-Binary Combinational Netlists.

Aditi Singh

Browse the full VLSID paper archive.