LIBROS DEL AUTOR: fabio somenzi

3 resultados para LIBROS DEL AUTOR: fabio somenzi

fabio somenzi 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 €

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