Paul Molitor - Böcker
Visar alla böcker från författaren Paul Molitor. Handla med fri frakt och snabb leverans.
7 produkter
7 produkter
1 577 kr
Skickas inom 10-15 vardagar
With the chip complexity constantly increasing, the difficulty as well as the importance of functional verification of new product designs has been increased. It is not only more important to get error-free designs. Moreover, it becomes an increasingly difficult task for a team of human designers to carry out a full design without errors. The traditional training of new verification engineers has to be adapted to the new situation. New skills are necessary. For these reasons, nearly all major universities offer lectures on basic verification techniques such as propositional temporal logic, model checking, equivalence checking, and simulation coverage measures. The present book is designed as a textbook covering one of the most important aspects in the verification process -- equivalence checking of Boolean circuits. Equivalence Checking of Digital Circuits is a textbook for advanced students in electrical and computer engineering, but is also intended for researchers who will find it useful as a reference text.
1 577 kr
Skickas inom 10-15 vardagar
With the chip complexity constantly increasing, the difficulty as well as the importance of functional verification of new product designs has been increased. It is not only more important to get error-free designs. Moreover, it becomes an increasingly difficult task for a team of human designers to carry out a full design without errors. The traditional training of new verification engineers has to be adapted to the new situation. New skills are necessary. For these reasons, nearly all major universities offer lectures on basic verification techniques such as propositional temporal logic, model checking, equivalence checking, and simulation coverage measures. The present book is designed as a textbook covering one of the most important aspects in the verification process -- equivalence checking of Boolean circuits. Equivalence Checking of Digital Circuits is a textbook for advanced students in electrical and computer engineering, but is also intended for researchers who will find it useful as a reference text.
525 kr
Skickas inom 5-8 vardagar
500 kr
Skickas inom 7-10 vardagar
500 kr
Skickas inom 10-15 vardagar
Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen
Häftad, Tyska, 1999
465 kr
Skickas inom 10-15 vardagar
872 kr
Skickas inom 10-15 vardagar
Die vorliegende Festschrift zum 90. Geburtstag von Prof. Dr. Dr. h.c. mult. Günter Hotz zeigt insbesondere über Kurzberichte der Doktorkinder die Nachwirkung von Günter Hotz’ Schaffen auf. Sie gibt damit auch einen schönen Überblick über die Informatik in Deutschland.