LIBROS DEL AUTOR: carl pixley

1 resultados para LIBROS DEL AUTOR: carl pixley

carl pixley Eliminar filtro Quitar filtros
  • Constraint-Based Verification
    Adnan Aziz / Carl Pixley / Jun Yuan
    Constrained Random Simulation.- High Level Verification Languages.- Assertion Languages and Constraints.- Preliminaries.- Constrained Vector Generation.- Constraint Simplification.- More Optimizations.- Constraint Synthesis.- Constraint Diagnosis.- Word-Level Constraint Solving. ...
    Disponible

    220,07 €