@book{181388,
	author = {Ali, Naveed   (MSCS-12)},
	title = {Equivalence verification of arithmetic data paths with multiple word length operands},
	publisher = {MCS,NUST},
	year = {2007},
	address = {Rawalpindi}
}