Enhanced Virtual Prototyping

Enhanced Virtual Prototyping

Daniel Große / Rolf Drechsler / Vladimir Herdt

123,91 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2021
ISBN:
9783030548308
123,91 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

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 techniques that handle functional as well as non-functional aspects and also describes correspondence analyses between the Hardware- and VP-level to utilize information available at different levels of abstraction. All approaches are discussed in detail and are evaluated extensively, using several experiments to demonstrate their effectiveness in enhancing the VP-based design flow. Furthermore, the book puts a particular focus on the modern RISC-V ISA, with several case-studies covering modeling as well as VP and SW verification aspects.

Artículos relacionados

  • Video Surveillance Techniques and Technologies
    Vesna Zeljkovic
    Security video surveillance systems, such as homeland security and national defense, rely on specific mathematical algorithms in order to run effectively. It is essential for these parameters to be understood in order to design and create a successful system. Video Surveillance Techniques and Technologies presents empirical research and acquired experience on the original solut...
    Disponible

    282,11 €

  • Swarm Intelligence for Electric and Electronic Engineering
    With growing developments in artificial intelligence and focus on swarm behaviors; algorithms have been utilized in solving a variety of problems in the field of engineering. This approach has been specifically suited to face the challenges in electric and electronic engineering. Swarm Intelligence for Electric and Electronic Engineering provides an exchange of knowledge on the...
    Disponible

    256,15 €

  • Multirate Systems
    Gordana Jovanovic-Dolecek
    ...
    Disponible

    98,97 €

  • Advanced Instrument Engineering
    Lay-Ekuakille
    Measurement technologies and instrumentation have a multidisciplinary impact in the field of applied sciences. These engineering technologies are necessary in processing information required for renewable energy, biotechnology, power quality, and nanotechnology. Advanced Instrument Engineering: Measurement, Calibration, and Design presents theoretical and practical aspects on t...
    Disponible

    255,95 €

  • Linear Systems Theory
    João P. Hespanha
    A fully updated textbook on linear systems theoryLinear systems theory is the cornerstone of control theory and a well-established discipline that focuses on linear differential equations from the perspective of control and estimation. This updated second edition of Linear Systems Theory covers the subject’s key topics in a unique lecture-style format, making the book easy to ...
    Disponible

    125,66 €

  • Instrument Transformers
    P.K. Pattanaik
    "Instrument Transformers" serves as an indispensable guide for electrical engineers and professionals navigating the complexities of measuring high-voltage currents and potentials. In the realm of electrical engineering, direct measurement of voltages and currents in the "kilo" or "mega" range presents significant challenges, not only due to the sheer magnitude of these values ...
    Disponible

    39,10 €

Otros libros del autor

  • 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

    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 €