CLIP: A Structural Approach to Cut Points Matching for Logic Equivalence Checking.

Dinesh Reddy Ankireddy, Sudipta Paria, Aritra Dasgupta, Sandip Ray, Swarup Bhunia

Browse the full VTS paper archive.