LIBROS DEL AUTOR: vladimir herdt

5 resultados para LIBROS DEL AUTOR: vladimir herdt

vladimir herdt Eliminar filtro Quitar filtros
  • Verbessertes virtuelles Prototyping
    Daniel Große / Rolf Drechsler / Vladimir Herdt
    Dieses Buch stellt eine umfassende Reihe von Techniken vor, die alle wichtigen Aspekte eines modernen Virtual Prototype (VP)-basierten Entwurfsablaufs verbessern. Die Autoren legen den Schwerpunkt auf automatisierte formale Verifikationsmethoden sowie auf fortgeschrittene, abdeckungsgeleitete Analyse- und Testtechniken, die auf SystemC-basierte VP und die zugehörige Software (S...
    Disponible

    110,31 €

  • Enhanced Virtual Prototyping
    Daniel Große / Rolf Drechsler / Vladimir Herdt
    This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors emphasize automated formal verification methods, as well as advanced coverage-guided analysis and testing techniques, tailored for SystemC-based VPs and also the associated Software (SW). Coverage also includes VP modeling technique...
    Disponible

    123,91 €

  • Enhanced Virtual Prototyping
    Daniel Große / Rolf Drechsler / Vladimir Herdt
    This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors emphasize automated formal verification methods, as well as advanced coverage-guided analysis and testing techniques, tailored for SystemC-based VPs and also the associated Software (SW). Coverage also includes VP modeling technique...
    Disponible

    47,92 €

  • Enhanced Virtual Prototyping
    Daniel Große / Rolf Drechsler / Vladimir Herdt
    This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors emphasize automated formal verification methods, as well as advanced coverage-guided analysis and testing techniques, tailored for SystemC-based VPs and also the associated Software (SW). Coverage also includes VP modeling technique...
    Disponible

    159,44 €

  • Complete Symbolic Simulation of SystemC Models
    Vladimir Herdt
    In hismaster thesis, Vladimir Herdt presents a novel approach, called completesymbolic simulation, for a more efficient verification ofmuch larger (non-terminating) SystemC programs. Theapproach combines symbolic simulation with stateful model checking and allowsto verify safety properties in (cyclic) finite state spaces, by exhaustiveexploration of all possible inputs and proc...
    Disponible

    66,91 €