Tags
Language
Tags
May 2024
Su Mo Tu We Th Fr Sa
28 29 30 1 2 3 4
5 6 7 8 9 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30 31 1

Reversible Logic Synthesis: From Fundamentals to Quantum Computing

Posted By: AvaxGenius
Reversible Logic Synthesis: From Fundamentals to Quantum Computing

Reversible Logic Synthesis: From Fundamentals to Quantum Computing by Anas N. Al-Rabadi
English | PDF | 2004 | 448 Pages | ISBN : 3540009353 | 5 MB

This book presents for the first time comprehensive and systematic methods for the reversible synthesis of logic functions and multi-dimensional logic circuits. This methodology is able to solve major problems in system design today and in the future, namely the high rate of power consumption, and the emergence of quantum effects and properties for highly dense and nano-scale ICs. The challenge is to design nano-scale reliable systems that consume as little power as possible and in which the signals are processed and transmitted at very high speeds with very high signal integrity. Researchers in academia or industry and graduate students, who work in logic synthesis, computer design, computer-aided design tools, and low power VLSI circuit design, will be interested in this book.

Introduction to Formal Hardware Verification

Posted By: AvaxGenius
Introduction to Formal Hardware Verification

Introduction to Formal Hardware Verification by Thomas Kropf
English | PDF | 1999 | 309 Pages | ISBN : 364208477X | 25.3 MB

Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams, symbolic methods for equivalence checking, and temporal logic model checking, and introduces the use of higher-order logic theorem proving for verifying circuit correctness. It enables the reader to understand the advantages and limitations of each technique.