LIBROS DEL AUTOR: pallab dasgupta

2 resultados para LIBROS DEL AUTOR: pallab dasgupta

pallab dasgupta Eliminar filtro Quitar filtros
  • A Roadmap for Formal Property Verification
    Pallab Dasgupta
    1. Introduction. 1.1. Writing our First Formal Specification. 1.2. Is my specification correct? 1.3. Have I written enough properties? 1.4. Property Verification. 1.5. Verification by Specification Refinement. 1.6. The new flow. 2. Languages for Temporal Properties. 2.1. The basic temporal operators. 2.2. Logics for temporal specification. 2.3. System Verilog Assertions. 2.4. A...
    Disponible

    195,51 €

  • Multiobjective Heuristic Search
    Pallab Dasgupta
    Solutions to most real-world optimization problems involve a trade-off between multiple conflicting and non-commensurate objectives. Some of the most challenging ones are area-delay trade-off in VLSI synthesis and design space exploration, time-space trade-off in computation, and multi-strategy games. Conventional search techniques are not equipped to...
    Disponible

    66,98 €