LIBROS DEL AUTOR: thomas kropf

1 resultados para LIBROS DEL AUTOR: thomas kropf

thomas kropf Eliminar filtro Quitar filtros
  • Introduction to Formal Hardware Verification
    Thomas Kropf
    This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams, symbolic methods for equivalence and temporal logic model checking, and introduces the use of higher-order logic theorem proving for verifying circuit cor...
    Disponible

    66,19 €