Static netlist verification for IBM high-frequency processors using a tree-grammar.
Christoph JäschkeUlla HerterClaudia WolkoberCarsten SchmittChristian G. ZoellinPublished in: DATE (2017)
Keyphrases
- high frequency
- low frequency
- wavelet transform
- visual quality
- tree grammars
- high resolution
- tree adjoining grammar
- wavelet coefficients
- high frequencies
- parse tree
- parallel algorithm
- discrete wavelet transform
- subband
- multiresolution
- wavelet domain
- low pass
- frequency band
- high frequency components
- low bit rate coding
- wavelet decomposition