Gorschwin Fey – författare
Visar alla böcker från författaren Gorschwin Fey. Handla med fri frakt och snabb leverans.
6 produkter
Advanced BDD Optimization
Av Rolf Drechsler, Gorschwin Fey m. fl.
E-bok, 2005
2111 kr
Lägg i varukorg
VLSI CADhas greatly bene?ted from the use of reduced ordered Binary Decision Diagrams (BDDs) and the clausal representation as a problem of Boolean Satis?ability (SAT), e.g. in logic synthesis, ver- cation or design-for-testability. In recent practical applications, BDDs are optimized with respect …
Robustness and Usability in Modern Design Flows
Av Rolf Drechsler, Gorschwin Fey
E-bok, 2008
1459 kr
Lägg i varukorg
The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not keep up with this development. Therefore, today’s design ?ow has to be improved to achieve a higher productivity. In this book the current design methodology …
Debug Automation from Pre-Silicon to Post-Silicon
Av Gorschwin Fey, Mehdi Dehbashi
E-bok, 2014
734 kr
Lägg i varukorg
This book describes automated debugging approaches for the bugs and the faults which appear in different abstraction levels of a hardware system. The authors employ a transaction-based debug approach to systems at the transaction-level, asserting the correct relation of transactions. The automated …
Test Pattern Generation using Boolean Proof Engines
Av Daniel Tille, Gorschwin Fey m. fl.
E-bok, 2009
1459 kr
Lägg i varukorg
In Test Pattern Generation using Boolean Proof Engines , we give an introduction to ATPG. The basic concept and classical ATPG algorithms are reviewed. Then, the formulation as a SAT problem is considered. As the underlying engine, modern SAT solvers and their use on circuit related problems are …
