rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Spectral Techniques in VLSI CAD
  name:
    name part: Thornton, Mitchell Aaron.
    role:
      role term: creator
  name:
    name part: Drechsler, Rolf.
  name:
    name part: Miller, D. Michael.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: xxu
    date issued: 2001
    issuance: monographic
  language:
    language term: eng
  physical description:
    reformatting quality: access
    form: remote
    extent: 1 online resource (xiii, 250 pages)
  abstract: Spectral Techniques in VLSI CAD 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. Spectral Techniques in VLSI CAD 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. Spectral Techniques in VLSI CAD 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 describ…
  note: by Mitchell Aaron Thornton, Rolf Drechsler, D. Michael Miller.
  note: Electronic resource.
  subject:
    topic: Computer science
  subject:
    topic: Electronic data processing
  subject:
    topic: Computer-aided design
  subject:
    topic: Harmonic analysis
  subject:
    topic: Computer engineering
  subject:
    topic: Computer-aided design
  subject:
    topic: Computer engineering
  subject:
    topic: Computer science
  subject:
    topic: Electronic data processing
  subject:
    topic: Harmonic analysis
  classification: TA345-345.5
  classification: 620.00420285
  identifier: 9781461514251 (electronic bk.)
  identifier: 1461514258 (electronic bk.)
  identifier: 9781461355472
  identifier: 1461355478
  identifier: 1461514258
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: AU@
    record creation date: 121227
    record change date: 20260421175910.9
    record identifier: in00003561743
    language of cataloging:
      language term: eng