Logic Circuit Equivalence Checking Using Haar Spectral Coefficients and Partial BDDs - researchr publication references

researchr

You are not signed in
Sign in
Sign up

Mitchell A. Thornton, Rolf Drechsler, Wolfgang Günther. Logic Circuit Equivalence Checking Using Haar Spectral Coefficients and Partial BDDs. VLSI Design, 2002(1):53-64, 2002. [doi]

No references recorded for this publication.

No citations of this publication recorded.

runs on WebDSL