LIBROS DEL AUTOR: sudipta kundu

2 resultados para LIBROS DEL AUTOR: sudipta kundu

sudipta kundu Eliminar filtro Quitar filtros
  • High-Level Verification
    Rajesh K. Gupta / Sorin Lerner / Sudipta Kundu
    Given the growing size and heterogeneity of Systems on Chip (SOC), the design process from initial specification to chip fabrication has become increasingly complex. This growing complexity provides incentive for designers to use high-level languages such as C, SystemC, and SystemVerilog for system-level design. While a major goal of these high-level languages is to enable veri...
    Disponible

    134,43 €

  • High-Level Verification
    Rajesh K. Gupta / Sorin Lerner / Sudipta Kundu
    Introduction.- Related Work.- Background.- Execution-based Model Checking for High-Level Designs.- Efficient Symbolic Analysis for Concurrent Programs.- Translation Validation of High-Level Synthesis.- Parameterized Program Equivalence Checking.- Conclusions and Future Work. ...
    Disponible

    194,55 €