1. Logic Circuit Equivalence Checking Using Haar Spectral Coefficients and Partial BDDs. Issue 1 (2002) Authors: Thornton, M. A.; Drechsler, R.; Günther, W. Journal: VLSI design Issue: Volume 14:Issue 1(2002) Page Start: 53 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Logic Circuit Equivalence Checking Using Haar Spectral Coefficients and Partial BDDs. Issue 1 (2002) Authors: Thornton, M. A.; Drechsler, R.; Günther, W. Journal: VLSI design Issue: Volume 14:Issue 1(2002) Page Start: 53 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗