LIBROS DEL AUTOR: fabio somenzi

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