Sökt på: Böcker av Tsutomu Sasao
totalt 22 träffar
Memory-Based Logic Synthesis
This book describes the synthesis of logic functions using memories. It is useful to design field programmable gate arrays (FPGAs) that contain both small-scale memories, called …
Switching Theory for Logic Synthesis
Switching Theory for Logic Synthesis covers the basic topics of switching theory and logic synthesis in fourteen chapters. Chapters 1 through 5 provide the mathematical …
Logic Synthesis and Verification
Research and development of logic synthesis and verification have matured considerably over the past two decades. Many commercial products are available, and they have been …
Progress in Applications of Boolean Functions
This book brings together five topics on the application of Boolean functions. They are 1. Equivalence classes of Boolean functions: The number of n-variable functions is large, …
Logic Synthesis and Optimization
Logic Synthesis and Optimization presents up-to-date research information in a pedagogical form. The authors are recognized as the leading experts on the subject. The focus of …
Switching Theory for Logic Synthesis
Switching Theory for Logic Synthesis covers the basic topics of switching theory and logic synthesis in fourteen chapters. Chapters 1 through 5 provide the mathematical …
Logic Synthesis and Verification
Research and development of logic synthesis and verification have matured considerably over the past two decades. Many commercial products are available, and they have been …
Representations of Discrete Functions
Representations of Discrete Functions is an edited volume containing 13 chapter contributions from leading researchers with a focus on the latest research results. The first …
Progress in Applications of Boolean Functions
This book brings together five topics on the application of Boolean functions. They are 1. Equivalence classes of Boolean functions: The number of n-variable functions is large, …
Representations of Discrete Functions
Representations of Discrete Functions is an edited volume containing 13 chapter contributions from leading researchers with a focus on the latest research results. The first …
Index Generation Functions
Index generation functions are binary-input integer valued functions.They represent functions of content addressable memories (CAMs). Applications include: IP address tables; …
Applications of Zero-Suppressed Decision Diagrams
A zero-suppressed decision diagram (ZDD) is a data structure to represent objects that typically contain many zeros. Applications include combinatorial problems, such as graphs, …