Name: Verbessertes Virtuelles Prototyping: Mit Risc-V-Fallstudien (en Alemán)
Price: 96.22 USD
Availability: InStock
Author: Herdt, Vladimir ; Große, Daniel ; Drechsler, Rolf
ISBN: 9783031181733

portada Verbessertes Virtuelles Prototyping: Mit Risc-V-Fallstudien (en Alemán)

Verbessertes Virtuelles Prototyping: Mit Risc-V-Fallstudien (en Alemán)

Formato

Libro Físico

Autor

Editorial

Idioma

Alemán

N° páginas

262

Encuadernación

Tapa Dura

Dimensiones

23.4 x 15.6 x 1.8 cm

Peso

0.58 kg.

ISBN13

9783031181733

Categorías

Ingeniería eléctrica
Electrónica: circuitos y componentes

Verbessertes Virtuelles Prototyping: Mit Risc-V-Fallstudien (en Alemán)

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

Libro Nuevo Importado

Envío: 17 a 24 días háb.

$ 160.36$ 96.22

-40%

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

Libro Nuevo

Quedan más de 100 unidades

$ 96.22

Llega entre el 21 Ago y el 03 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Verbessertes Virtuelles Prototyping: Mit Risc-V-Fallstudien (en Alemán)"

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 (SW) zugeschnitten sind. Die Abdeckung umfasst auch VP-Modellierungstechniken, die sowohl funktionale als auch nicht-funktionale Aspekte behandeln, und beschreibt zudem Korrespondenzanalysen zwischen der Hardware- und VP-Ebene, um die auf verschiedenen Abstraktionsebenen verfügbaren Informationen zu nutzen. Alle Ansätze werden ausführlich diskutiert und anhand mehrerer Experimente evaluiert, um ihre Effektivität bei der Verbesserung des VP-basierten Entwurfsablaufs zu demonstrieren. Darüber hinaus legt das Buch einen besonderen Schwerpunkt auf den modernen RISC-V ISA, mit mehreren Fallstudien, die sowohl Aspekte der Modellierung als auch der VP- und SW-Verifikation abdecken.