Automatic data path abstraction for verification of large scale designs.

Viresh Paruthi, Nazanin Mansouri, Ranga Vemuri

Browse the full ICCD paper archive.