{"product_id":"9780792374336","title":"Spectral Techniques in VLSI CAD","description":"\u003ch1\u003eSpectral Techniques in VLSI CAD\u003c\/h1\u003e \u003ch2\u003eThornton, Mitchell Aaron; Drechsler, Rolf; Miller, D. Michael\u003c\/h2\u003e \u003cp\u003e\u003cem\u003eSpectral Techniques in VLSI CAD\u003c\/em\u003e have become a subject of  renewed interest in the design automation community due to the  emergence of new and efficient methods for the computation of discrete  function spectra. In the past, spectral computations for digital logic  were too complex for practical implementation. The use of decision  diagrams for spectral computations has greatly reduced this obstacle  allowing for the development of new and useful spectral techniques for  VLSI synthesis and verification. Several new algorithms for the  computation of the Walsh, Reed-Muller, arithmetic and Haar spectra are  described. The relation of these computational methods to traditional  ones is also provided.\u003cbr\u003e  \u003cem\u003eSpectral Techniques in VLSI CAD\u003c\/em\u003e provides a unified formalism of  the representation of bit-level and word-level discrete functions in  the spectral domain and as decision diagrams. An alternative and  unifying interpretation of decision diagram representations is  presented since it is shown that many of the different commonly used  varieties of decision diagrams are merely graphical representations of  various discrete function spectra. Viewing various decision diagrams  as being described by specific sets of transformation functions not  only illustrates the relationship between graphical and spectral  representations of discrete functions, but also gives insight into how  various decision diagram types are related.\u003cbr\u003e  \u003cem\u003eSpectral Techniques in VLSI CAD\u003c\/em\u003e describes several new  applications of spectral techniques in discrete function manipulation  including decision diagram minimization, logic function synthesis,  technology mapping and equivalence checking. The use of linear  transformations in decision diagram size reduction is described and  the relationship to the operation known as spectral translation is  described. Several methods for synthesizing digital logic circuits  based on a subset of spectral coefficients are described. An  equivalence checking approach for functional verification is described  based upon the use of matching pairs of Haar spectral coefficients.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2001-07-31\u003c\/p\u003e \u003cp\u003eFormat: Hardcover\u003c\/p\u003e \u003cp\u003eISBN-13: 9780792374336\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-1-4615-1425-1\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 250\u003c\/p\u003e ","brand":"Springer US","offers":[{"title":"Default Title","offer_id":46265661325452,"sku":"9780792374336","price":152.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9780792374336.jpg?v=1770788112","url":"https:\/\/lateknightbooks.com\/products\/9780792374336","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}