Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods
Autor Paul Molitor, Janett Mohnkeen Limba Engleză Hardback – 31 ian 2004
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 893.83 lei 6-8 săpt. | |
Springer Us – 7 dec 2010 | 893.83 lei 6-8 săpt. | |
Hardback (1) | 899.97 lei 6-8 săpt. | |
Springer Us – 31 ian 2004 | 899.97 lei 6-8 săpt. |
Preț: 899.97 lei
Preț vechi: 1097.51 lei
-18% Nou
Puncte Express: 1350
Preț estimativ în valută:
172.34€ • 186.09$ • 143.55£
172.34€ • 186.09$ • 143.55£
Carte tipărită la comandă
Livrare economică 06-20 decembrie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781402077258
ISBN-10: 1402077254
Pagini: 280
Ilustrații: XIII, 263 p.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.58 kg
Ediția:2004
Editura: Springer Us
Colecția Springer
Locul publicării:New York, NY, United States
ISBN-10: 1402077254
Pagini: 280
Ilustrații: XIII, 263 p.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.58 kg
Ediția:2004
Editura: Springer Us
Colecția Springer
Locul publicării:New York, NY, United States
Public țintă
ResearchCuprins
Fundamentals.- Preliminaries.- Representation of Boolean and Pseudo Boolean Functions.- Equivalence Checking of Combinational Circuits.- Use of Canonical Data Structures.- SAT and ATPG Based Equivalence Checking.- Exploiting Similarities.- Checking Equivalence for Partial Implementations.- Permutation Independent Boolean Comparison.- Equivalence Checking of Sequential Circuits.- Formal Basics.- The Latch Correspondence Problem.