<p><span>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, circuits, faults, and data mining. This book consists of four chapters on the applications of ZDDs.</span></p><p>
Progress in Applications of Boolean Functions (Synthesis Lectures on Digital Circuits and Systems)
โ Scribed by Tsutomu Sasao, Jon T. Butler
- Year
- 2010
- Tongue
- English
- Leaves
- 154
- Category
- Library
No coin nor oath required. For personal study only.
โฆ Synopsis
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, even for values as small as n = 6, and there has been much research on classifying functions. There are many classifications, each with their own distinct merit. 2. Boolean functions for cryptography: The process of encrypting/decrypting plaintext messages often depends on Boolean functions with specific properties. For example, highly nonlinear functions are valued because they are less susceptible to linear attacks. 3. Boolean differential calculus: An operation analogous to taking the derivative of a real-valued function offers important insight into the properties of Boolean functions. One can determine tests or susceptibility to hazards. 4. Reversible logic: Most logic functions are irreversible; it is impossible to reconstruct the input, given the output. However, Boolean functions that are reversible are necessary for quantum computing, and hold significant promise for low-power computing. 5. Data mining: The process of extracting subtle patterns from enormous amounts of data has benefited from the use of a graph-based representation of Boolean functions. This has use in surveillance, fraud detection, scientific discovery including bio-informatics, genetics, medicine, and education. Written by experts, these chapters present a tutorial view of new and emerging technologies in Boolean functions. Table of Contents: Equivalence Classes of Boolean Functions / Boolean Functions for Cryptography / Boolean Differential Calculus / Synthesis of Boolean Functions in Reversible Logic / Data Mining Using Binary Decision Diagrams
๐ SIMILAR VOLUMES
<p><span>Digital systems are an important part of modern life. This book introduces the basic building blocks of digital systems and how these blocks can be used to design a digital system. It can be used as a laboratory manual for courses such as Digital Logic and Digital Electronics. All of the ex
<span>This book is a practical reference for using Texas Instruments MSP430 microcontrollers. It provides a series of hands-on laboratory exercises. The labs may be completed in a traditional laboratory setting or at home using the Digilent Analog Discovery 2 Test Instrument.ย This book can be used
This textbook provides practicing scientists and engineers an advanced treatment of the Atmel AVR microcontroller. This book is intended as a follow-on to a previously published book, titled Atmel AVR Microcontroller Primer: Programming and Interfacing. Some of the content from this earlier text is
<span>Finite State Machine Datapath Design, Optimization, and Implementation explores the design space of combined FSM/Datapath implementations. The lecture starts by examining performance issues in digital systems such as clock skew and its effect on setup and hold time constraints, and the use of