Improving Performance of a Path-Based Equivalence Checker Using Counter-Examples.

Ramanuj Chouksey, Chandan Karfa, Purandar Bhaduri

Browse the full VLSID paper archive.