Viresh Paruthi, Nazanin Mansouri, Ranga Vemuri: Automatic data path abstraction for verification of large scale designs. ICCD 1998: 192-194