Keine Abbildung vorhanden
90,94 €
inkl. MwSt.
versandkostenfrei

1

lieferbar in 1-3 Werktagen


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 H ...

Weiterempfehlen:

DETAILS

  • Enhanced Virtual Prototyping
  • Featuring RISC-V Case Studies
  • Herdt, Vladimir, Große, Daniel, Drechsler, Rolf
  • Kartoniert, xxi, 247 S.
  • XXI, 247 p. 90 illus., 75 illus. in color.
  • Sprache: Englisch
  • 235 mm
  • ISBN-13: 978-3-030-54830-8
  • Titelnr.: 94663661
  • Gewicht: 421 g
  • Springer, Berlin (2021)
  • Herstelleradresse

    Springer Heidelberg

    Tiergartenstr. 17

    69121 - DE Heidelberg

    E-Mail: buchhandel-buch@springer.com

Bewertungen (0)
Jetzt bewerten