Görschwin Fey – författare
Visar alla böcker från författaren Görschwin Fey. Handla med fri frakt och snabb leverans.
9 produkter
Advanced BDD Optimization
Av Rudiger Ebendt, Görschwin Fey m. fl.
Inbunden, 2005
1641 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 Görschwin Fey, Rolf Drechsler
Inbunden, 2008
1094 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 …
Advanced BDD Optimization
Av Rudiger Ebendt, Görschwin Fey m. fl.
Häftad, 2010
1637 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 …
Debug Automation from Pre-Silicon to Post-Silicon
Av Mehdi Dehbashi, Görschwin Fey
Inbunden, 2014
552 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 …
Debug Automation from Pre-Silicon to Post-Silicon
Av Mehdi Dehbashi, Görschwin Fey
Häftad, 2016
552 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 digitaler Schaltkreise
Av Stephan Eggersglüß, Görschwin Fey m. fl.
Häftad, 2014
1207 kr
Lägg i varukorg
Eingebettete Systeme übernehmen zentrale Steueraufgaben im täglichen Leben. In der Energieversorgung oder im Transportwesen würde ein Ausfall der Systeme fatale Auswirkungen haben. Der Nutzer verlässt sich aber auf ein fehlerfreies Funktionieren des Systems. Die Funktionstüchtigkeit der …
Test Pattern Generation using Boolean Proof Engines
Av Rolf Drechsler, Stephan Eggersglüß m. fl.
Inbunden, 2009
1096 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 …
Robustness and Usability in Modern Design Flows
Av Görschwin Fey, Rolf Drechsler
Häftad, 2010
1096 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 …
Test Pattern Generation using Boolean Proof Engines
Av Rolf Drechsler, Stephan Eggersglüß m. fl.
Häftad, 2010
1096 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 …
