LIBROS DEL AUTOR: rajesh k gupta

3 resultados para LIBROS DEL AUTOR: rajesh k gupta

rajesh k gupta Eliminar filtro Quitar filtros
  • Effect of Cort Programme on Critical Thinking
    Rajesh Kumar / V. K. Gupta
    The purpose of thinking is to collect information and to make the best possible use of it. The fascination with thinking, how and why people think, how we can teach thinking, has been evident for centuries. According to Edward De Bono 'Thinking is a skill; it can be developed and improved if one knows how'. The various programmes designed to teach thinking and the professional ...
    Disponible

    67,65 €

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