Spectral Logic and Its Applications for the Design of Digital Devices (Hardcover)

Spectral techniques facilitate the design and testing

of today's increasingly complex digital devices

There is heightened interest in spectral techniques for the design of digital devices dictated by ever increasing demands on technology that often cannot be met by classical approaches. Spectral methods provide a uniform and consistent theoretic environment for recent achievements in this area, which appear divergent in many other approaches. Spectral Logic and Its Applications for the Design of Digital Devices gives readers a foundation for further exploration of abstract harmonic analysis over finite groups in the analysis, design, and testing of digital devices. After an introduction, this book provides the essential mathematical background for discussing spectral methods. It then delves into spectral logic and its applications, covering:
*

Walsh, Haar, arithmetic transform, Reed-Muller transform for binary-valued functions and Vilenkin-Chrestenson transform, generalized Haar, and other related transforms for multiple-valued functions
*

Polynomial expressions and decision diagram representations for switching and multiple-value functions
*

Spectral analysis of Boolean functions
*

Spectral synthesis and optimization of combinational and sequential devices
*

Spectral methods in analysis and synthesis of reliable devices
*

Spectral techniques for testing computer hardware

This is the authoritative reference for computer science and engineering professionals and researchers with an interest in spectral methods of representing discrete functions and related applications in the design and testing of digital devices. It is also an excellent text for graduate students in courses covering spectral logic and its applications.

光譜技術促進了當今日益複雜的數位設備的設計和測試。

在科技的不斷增長需求下，對於數位設備設計的光譜技術引起了極大的興趣，這些需求通常無法通過傳統方法滿足。光譜方法為這一領域的最新成就提供了統一且一致的理論環境，這些成就在其他方法中看起來是分散的。《光譜邏輯及其在數位設備設計中的應用》為讀者提供了在分析、設計和測試數位設備時進一步探索有限群上的抽象調和分析的基礎。本書在介紹後，提供了討論光譜方法所需的基本數學背景。然後深入探討了光譜邏輯及其應用，包括：

- 二值函數的Walsh、Haar、算術轉換、Reed-Muller轉換和Vilenkin-Chrestenson轉換，多值函數的廣義Haar和其他相關轉換
- 開關和多值函數的多項式表示和決策圖表示
- 布爾函數的光譜分析
- 組合和時序設備的光譜合成和優化
- 可靠設備的分析和合成的光譜方法
- 測試計算機硬件的光譜技術

這是計算機科學和工程專業人士以及對於表示離散函數和相關應用在數位設備設計和測試中感興趣的研究人員的權威參考資料。對於修讀光譜邏輯及其應用課程的研究生來說，這也是一本優秀的教材。