Cantitate/Preț
Produs

Logic of Digital Circuits

Autor Alexey Glebov
en Limba Engleză Hardback – mai 2016
The book begins with four introductory chapters devoted to Boolean algebraic functions and Binary Decision Diagrams. The rest of the book is based on original results obtained by the author from 1994 to 2014 and reflected, in particular, in English-language conference and journal publications (ISLPD, ICCAD, ED&TC, ISQED, DATE, ACM transactions, etc.), and also in multiple publications in Russian. This manuscript is divided into two parts: Chapters One through Five discuss the theory and applications of decision diagrams, while Chapters Six through Nine concentrate on the theory and applications of logic correlations between circuit signals. Chapter Five contains the results on the BDD of a special type (SP-BDD) and their applications to analysis and optimization of digital CMOS circuits. The second part contains the results on theory and applications of logic correlations between circuit signals (logic implications). The following applications are considered: noise analysis of digital circuits (both functional and delay noise), timing analysis with detecting false paths, and digital circuit obfuscation. Chapter Nine explains the use of TDD (Ternary Decision Diagrams) in digital CMOS simulation with uncertaintyin particular, with power simulationand both with and without accounting for logic implications. The principal audiences for the book are mathematicians and software developers, primarily working in microelectronics CAD.
Citește tot Restrânge

Preț: 109831 lei

Preț vechi: 141135 lei
-22% Nou

Puncte Express: 1647

Preț estimativ în valută:
21022 21863$ 17616£

Carte disponibilă

Livrare economică 20 februarie-06 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9781634842488
ISBN-10: 1634842480
Pagini: 130
Dimensiuni: 155 x 230 x 15 mm
Greutate: 0.37 kg
Editura: Nova Science Publishers Inc
Colecția Nova Science Publishers Inc

Cuprins

Preface; Introduction to Binary Decision Diagrams; Boolean Algebras & Boolean Functions; BDD: Data Structure & Algorithms for Operation with Boolean Functions; BDD Efficient Implementation; Series-Parallel BDD: Theory & Applications; Simple Logic Implications (SLI) & False-Noise Analysis; Detecting False Paths in Static Timing Analysis Basing on Logic Implications; Obfuscation of Digital Circuits Based on Use of Logic Implications; Simulation of Digital CMOS Circuits Using Ternary Decision Diagrams & Simple Logic Implications; Index.