Stephan Eggersglüß – författare

Visar alla böcker från författaren Stephan Eggersglüß. Handla med fri frakt och snabb leverans.

5 produkter

1. 

   High Quality Test Pattern Generation and Boolean Satisfiability

   Av Stephan Eggersglüß, Rolf Drechsler

   Inbunden, 2012

   1096 kr

   Lägg i varukorg

   This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Boolean Satisfiability (SAT). A fast and highly fault efficient SAT-based ATPG framework is presented which is also able to generate high-quality delay …

2. 

   High Quality Test Pattern Generation and Boolean Satisfiability

   Av Stephan Eggersglüß, Rolf Drechsler

   Häftad, 2014

   1119 kr

   Lägg i varukorg

   This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Boolean Satisfiability (SAT). A fast and highly fault efficient SAT-based ATPG framework is presented which is also able to generate high-quality delay …

3. 

   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 …

4. 

   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 …

5. 

   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 …