LIBROS DEL AUTOR: gary d hachtel

3 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 €