Login / Signup

Logic Circuit Equivalence Checking Using Haar Spectral Coefficients and Partial BDDs.

Mitchell A. ThorntonRolf DrechslerWolfgang Günther
Published in: VLSI Design (2002)
Keyphrases