Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Spectral Techniques in VLSI CAD

Spectral Techniques in VLSI CAD

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9780792374336
Condition
New
Product Description

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 described based upon the use of matching pairs of Haar spectral coefficients.

Available Colors
Available Sizes
1 Offer Price Range: $129.00 - $129.00
BEST PRICE

Single Product Purchase

$129.00
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$129.00 $129.00

$129.00
See Site In stock Visit Store

Similar Products

Berechnung Gewlbter Bden

$59.99

Actionable Postcolonial Theory in Education

$159.99

Guessing Random Additive Noise Decoding

$169.99

Correlations in Condensed Matter under Extreme Conditions

$109.99

Transforming Education in Practice

$139.99

Machining of Complex Sculptured Surfaces

$109.99

Eine kontaktlose Alternative fr das respiratorische Gating in der PET

$64.99

Osteoimmunopathology

$169.99

Technological Frontiers and Sustainable Innovations

$54.99

Sergei Vinogradskii and the Cycle of Life

$109.99

Supernovae and Stellar Wind in the Interstellar

$54.99

From Reaction to Cognition

$39.99

Diagnostische Bewertung von Laborbefunden

$79.99

The War Power in an Age of Terrorism

$34.99

When Marian Sang (Hardcover)

$14.99

New Horizons from Multi-Wavelength Sky Surveys

$219.99

Application Design for Wearable Computing

$19.99

Respiratory System and Artificial Ventilation

$109.99

Being Ram Dass by Ram Dass

$22.99

Bio-Inspired Land Remediation

$159.99

Ekem Dermatitis Pruritus Prurigo Strophulus Neurodermitis Seborrhoisches Ekem

$59.99

Biomineralization

$59.99

Aggression, Selbstaggression, Familie und Gesellschaft

$69.99

Shape Design Sensitivity Analysis and Optimization Using the Boundary Element Method

$109.99

Transfer Pricing in SMEs

$129.99

Jocundus

$54.99

Mechanism and Regulation of DNA Replication

$39.99

Symmetries of Partial Differential Equations

$169.00

Smart Multicore Embedded Systems

$109.99

Wissenssoziologische Diskursanalyse

$44.99

Severe Fever with Thrombocytopenia Syndrome

$109.99

Machine Learning, Optimization, and Data Science

$79.99

The Internet as a Technology-Based Ecosystem

$64.99

Gesundheitsvorsorge in der rztlichen Praxis

$69.99

Air-Sea Exchange of Gases and Particles

$259.00

Competition, Innovation and the Microsoft Monopoly: Antitrust in the Digital Marketplace

$129.00

Umweltstrafrecht

$39.99

Safety of Biologics Therapy

$179.99

Etiology and Integrated Management of Economically Important Fungal Diseases of Ornamental Palms

$129.00

Die klassischen Sttten von Jena und Jlmenau

$59.99