Logic Circuit Equivalence Checking Using Haar Spectral Coefficients and Partial BDDs.
Mitchell A. ThorntonRolf DrechslerWolfgang GüntherPublished in: VLSI Design (2002)
Keyphrases
- digital circuits
- decision diagrams
- logic synthesis
- wavelet coefficients
- heuristic search
- haar transform
- logic circuits
- haar wavelet
- delay insensitive
- multi valued
- binary decision diagrams
- linear prediction
- wavelet transform
- wavelet filters
- micron cmos
- analog circuits
- chip design
- linear combination
- asynchronous circuits
- wavelet decomposition
- multiresolution
- verification method
- circuit design
- discrete wavelet transform
- basis functions
- low power
- logic programming
- shift register
- wavelet domain
- subband
- high speed
- flip flops
- lifting scheme
- hyperspectral
- spectral analysis
- image compression
- transform domain
- multiscale