Spectral Techniques in Vlsi CAD (Hardcover)

Preface. 1. Introduction. 2. The Boolean Domain. 3. The Spectral Domain. 4. Decisions Diagrams. 5. Computation of Spectral Coefficients. 6. BDD Minimization. 7. Logic Synthesis. 8. Logic Verification. 9. Concluding Remarks. References. Index.