LIBROS DEL AUTOR: gorschwin fey

3 resultados para LIBROS DEL AUTOR: gorschwin fey

gorschwin fey Eliminar filtro Quitar filtros
  • Advanced BDD Optimization
    Görschwin Fey / Rolf Drechsler / Rudiger Ebendt
    Preface. 1. Introduction. 2. Preliminaries. 2.1. Notation. 2.2. Boolean Functions. 2.3. Decomposition of Boolean Functions. 2.4. Reduced Ordered Binary Decision Diagrams.- 3. Exact node Minimization. 3.1. Branch and Bound Algorithm. 3.2. A*-Based Optimization. 3.3. Summary.- 4. Heuristic node Minimization. 4.1. Efficient Dynamic Minimization. 4.2. Improved Lower Bounds for Dyna...
    Disponible

    195,67 €

  • Robustness and Usability in Modern Design Flows
    Görschwin Fey / Rolf Drechsler
    Dedication. List of Figures. List of Tables. Preface.1. Introduction.2. Preliminaries. 2.1 Boolean Reasoning. 2.2 Circuits. 2.3 Formal Verification. 2.4 Automatic Test Pattern Generation.3. Algorithms and Data Structures. 3.1 Combining SAT and BDD Provers. 3.2 Summary and Future Work.4. Synthesis. 4.1 Synthesis of SystemC. 4.2 Synthesis for Testability. 4.3 Summary and Future W...
    Disponible

    159,01 €

  • Test Pattern Generation using Boolean Proof Engines
    Görschwin Fey / Rolf Drechsler / Stephan Eggersglüß
    1 Introduction. 2 Preliminaries. 2.1 Circuits. 2.2 Fault Models. 2.3 Simple ATPG Framework. 2.4 Classical ATPG Algorithms. 2.5 Benchmarking. 3 Boolean Satisfiability. 3.1 SAT Solver. 3.2 Advances in SAT.3.3 Circuit-to-CNF Conversion. 3.4 Circuit-oriented SAT. 4 SAT-based ATPG. 4.1 Basic Problem Transformation. 4.2 Structural Information. 4.3 Experimental Results. 4.4 Summary. 5...
    Disponible

    158,91 €