LIBROS DEL AUTOR: gary d hachtel

5 resultados para LIBROS DEL AUTOR: gary d hachtel

gary d hachtel Eliminar filtro Quitar filtros
  • Abstraction Refinement for Large Scale Model Checking
    Chao Wang / Fabio Somenzi / Gary D. Hachtel
    Symbolic Model Checking.- Abstraction.- Refinement.- Compositional SCC Analysis.- Disjunctive Decomposition.- Far Side Image Computation.- Refining SAT Decision Ordering.- Conclusions. ...
    Disponible

    171,26 €

  • Logic Synthesis and Verification Algorithms
    Fabio Somenzi / Gary D. Hachtel
    Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. It also serves as a basic reference work in design automation for both professionals and students. Logic Synthesis and Verification Algorithms is about the theore...
    Disponible

    112,12 €

  • Logic Minimization Algorithms for VLSI Synthesis
    C. McMullen / Gary D. Hachtel / Robert K. Brayton
    The roots of the project which culminates with the writing of this book can be traced to the work on logic synthesis started in 1979 at the IBM Watson Research Center and at University of California, Berkeley. During the preliminary phases of these projects, the impor­ tance of logic minimization for the synthesis of area and performance effective cir...
    Disponible

    244,98 €

  • Abstraction Refinement for Large Scale Model Checking
    Chao Wang / Fabio Somenzi / Gary D. Hachtel
    This book summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today’s digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. The suite ...
    Disponible

    133,01 €

  • Logic Minimization Algorithms for VLSI Synthesis
    C. McMullen C. / Gary D. Hachtel / Robert K. Brayton
    The roots of the project which culminates with the writing of this book can be traced to the work on logic synthesis started in 1979 at the IBM Watson Research Center and at University of California, Berkeley. During the preliminary phases of these projects, the impor­ tance of logic minimization for the synthesis of area and performance effective cir...
    Disponible

    243,60 €