LIBROS DEL AUTOR: brian t graham

1 resultados para LIBROS DEL AUTOR: brian t graham

brian t graham Eliminar filtro Quitar filtros
  • The SECD Microprocessor
    Brian T. Graham
    This is a milestone in machine-assisted microprocessor verification. Gordon [20] and Hunt [32] led the way with their verifications of sim­ ple designs, Cohn [12, 13] followed this with the verification of parts of the VIPER microprocessor. This work illustrates how much these, and other, pioneers achieved in developing tractable models, scalable tool...
    Disponible

    134,37 €