Daniel Tille – författare

Visar alla böcker från författaren Daniel Tille. Handla med fri frakt och snabb leverans.

3 produkter

1. 

   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 …

2. 

   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 …

3. 

   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 …