Titlebook: Spectral Techniques in VLSI CAD; Mitchell Aaron Thornton,Rolf Drechsler,D. Michael Book 2001 Springer Science+Business Media New York 200

Fuctionary

书目名称Spectral Techniques in VLSI CAD影响因子(影响力)




书目名称Spectral Techniques in VLSI CAD影响因子(影响力)学科排名




书目名称Spectral Techniques in VLSI CAD网络公开度




书目名称Spectral Techniques in VLSI CAD网络公开度学科排名




书目名称Spectral Techniques in VLSI CAD被引频次




书目名称Spectral Techniques in VLSI CAD被引频次学科排名




书目名称Spectral Techniques in VLSI CAD年度引用




书目名称Spectral Techniques in VLSI CAD年度引用学科排名




书目名称Spectral Techniques in VLSI CAD读者反馈




书目名称Spectral Techniques in VLSI CAD读者反馈学科排名

揭穿真相

gimmick

Logic Verification,cal” approaches for verification is given followed by a discussion of a spectral based technique for equivalence checking [154]. For more detailed surveys of verification methodologies see [31, 79, 88, 99]

inclusive

The Spectral Domain,es to the mathematical foundations necessary for the development and understanding of the techniques introduced in later chapters. Those wishing a more in-depth and rigorous mathematical treatment of the subject should consult the literature [1, 5, 97, 90, 92]. Matrix based computation of the spectr

终止

Computation of Spectral Coefficients,ra of Boolean functions. The fundamental matrix approach and the fast transforms derived from the matrix structures were discussed in Chapter 3. This chapter begins with a review of cube list based approaches for computing spectral coefficients after which the computation of spectral coefficients ba

欢乐东方

积极词汇

枪支

Logic Verification,er circuit at some higher level of abstraction or as a description of properties that the circuit is to obey. In this chapter a review of some “classical” approaches for verification is given followed by a discussion of a spectral based technique for equivalence checking [154]. For more detailed sur

Glossy

Computation of Spectral Coefficients,sed on output probabilities is considered in some depth. Implementation of all these approaches using DDs is then addressed. A recent method based on Cayley graphs for the computation of the Walsh spectrum is discussed. The chapter concludes with a discussion of incompletely-specified functions and the calculation of their spectra

伸展

efficient methods for the computation of discretefunction spectra. In the past, spectral computations for digital logicwere too complex for practical implementation. The use of decisiondiagrams for spectral computations has greatly reduced this obstacleallowing for the development of new and useful