| Description |
1 online resource (xiii, 135 pages) : illustrations, digital, PDF file |
| Series |
Synthesis lectures on digital circuits and systems, 1932-3174 ; #12 |
|
Synthesis lectures on digital circuits and systems (Online) ; #12.
|
| Contents |
Multiple-valued logic applications -- Introduction -- MVL in EDA-CAD methods -- Hardware description languages -- Logic synthesis -- Logic simulation -- Digital hardware testing -- Formal verification -- MVL circuit design -- Logic circuit design with MVL signals -- Memory circuits -- Computer arithmetic circuits -- Programmable logic arrays (PLAs) -- MVL circuits utilizing next-generation devices -- Resonant tunneling diodes -- Single electron transistors -- MV quantum logic -- Organization of the book -- MVL concepts and algebra -- Introduction -- Sets and relations -- Relations as graphs -- Hasse diagrams -- Finite lattices -- Algebraic structures -- Functions -- Rings -- Fields -- Boolean algebra -- Basic definition -- Alternative definitions -- Boolean normal forms -- Logic systems and algebras -- MVL operators -- Functional completeness -- Example MVL algebras based on non-modular operators -- Lukasiewicz logic -- Post logic and algebra -- Bochvar logic -- Kleene logic -- Allen and Givone algebra -- Vranesic, Lee and Smith algebra -- Example MVL algebras based on modular operators -- Cohn algebra -- Pradhan algebra -- Dubrova and Muzio algebra -- Summary of MVL algebras -- Functional representations -- Logic tables -- Hypercubes -- Maps -- Binary maps -- Multiple-valued maps -- Cube notation -- Binary cubes -- Multiple-valued cubes -- Cube representation of functions -- Operations on cubes -- Function operations -- Decision diagrams -- Binary decision diagrams -- Multiple-valued decision diagrams -- MDD implementation techniques -- Reversible and quantum circuits -- Binary reversible gates and circuits -- MVL reversible gates and circuits -- Matrix representation of reversible gates and circuits -- Quantum gates and circuits -- Quantum multiple-valued decision diagrams -- The QMDD structure -- QMDD operations -- QMDD gate matrix construction -- Row and column vectors -- Variable reordering for QMDD -- QMDD implementation -- Identity matrices -- Edge weights -- Complex number representation -- Complex number computation tables -- Unique and computed table hash functions -- QMDD applications -- Binary circuits -- Ternary circuits -- Circuit equivalence and verification -- Summary -- Bibliography |
| Summary |
Multiple-Valued Logic: Concepts and Representations begins with a survey of the use of multiple-valued logic in several modern application areas including electronic design automation algorithms and circuit design. The mathematical basis and concepts of various algebras and systems of multiple-valued logic are provided including comparisons among various systems and examples of their application. The book also provides an examination of alternative representations of multiple-valued logic suitable for implementation as data structures in automated computer applications. Decision diagram structures for multiple-valued applications are described in detail with particular emphasis on the recently developed quantum multiple-valued decision diagram |
| Notes |
Title from PDF title page (viewed January 3, 2008) |
| Bibliography |
Includes bibliographical references (pages 127-134) |
| Subject |
Many-valued logic.
|
|
Quantum logic.
|
|
MATHEMATICS -- Infinity.
|
|
MATHEMATICS -- Logic.
|
|
Many-valued logic
|
|
Quantum logic
|
| Form |
Electronic book
|
| Author |
Thornton, Mitchell Aaron.
|
| ISBN |
1598291912 |
|
9781598291919 |
|
9781598294460 |
|
1598294466 |
|
9783031797798 |
|
3031797795 |
|
