Verbessertes virtuelles Prototyping
- Mit RISC-V-Fallstudien
- Format
- Bog, hardback
- Tysk
Normalpris
Medlemspris
- Du sparer kr. 40,00
- Fri fragt
-
Leveringstid: 2-3 uger (Sendes fra fjernlager) Forventet levering: 13-03-2026
- Kan pakkes ind og sendes som gave
Beskrivelse
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 Aspekteder Modellierung als auch der VP- und SW-Verifikation abdecken.
Detaljer
- SprogTysk
- Sidetal262
- Udgivelsesdato02-01-2023
- ISBN139783031181733
- OriginaltitelEnhanced Virtual Prototyping
- Forlag Springer Vieweg
- FormatHardback
- OriginalsprogEngelsk
Størrelse og vægt
10 cm
Anmeldelser
Vær den første!
Findes i disse kategorier...
- Fagbøger
- Andre fagbøger
- Teknologi, ingeniørvidenskab og landbrug
- Elektronik og kommunikationsteknik
- Elektroteknik
- Elektronik: kredse og komponenter
- Verbessertes virtuelles Prototyping
- Fagbøger
- Andre fagbøger
- Teknologi, ingeniørvidenskab og landbrug
- Energiteknik
- Energiteknik: Elektroteknik
- Verbessertes virtuelles Prototyping