Name: Enhanced Virtual Prototyping: Featuring Risc-V Case Studies (en Inglés)
Price: 105.22 USD
Availability: InStock
Author: Herdt, Vladimir ; Große, Daniel ; Drechsler, Rolf
ISBN: 9783030548308

portada Enhanced Virtual Prototyping: Featuring Risc-V Case Studies (en Inglés)

Enhanced Virtual Prototyping: Featuring Risc-V Case Studies (en Inglés)

Formato

Libro Físico

Autor

Editorial

Idioma

Inglés

N° páginas

247

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 1.4 cm

Peso

0.39 kg.

ISBN13

9783030548308

N° edición

Categorías

Ingeniería eléctrica
Electrónica: circuitos y componentes
Sistemas embebidos/integrados («embedded»)

Enhanced Virtual Prototyping: Featuring Risc-V Case Studies (en Inglés)

Rolf Drechsler (Autor) · Vladimir Herdt (Autor) · Daniel Große (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 16 a 23 días háb.

$ 175.36$ 105.22

-40%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 105.22

Llega entre el 19 Ago y el 01 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Enhanced Virtual Prototyping: Featuring Risc-V Case Studies (en Inglés)"

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.