Verbessertes virtuelles Prototyping Mit RISC-V-Fallstudien
Afbeeldingen
Sla de afbeeldingen overArtikel vergelijken
Auteur:
Vladimir Herdt
Daniel Grosse
- Duits
- Hardcover
- 9783031181733
- 02 januari 2023
- 262 pagina's
Samenvatting
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.
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 auch 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 derModellierung als auch der VP- und SW-Verifikation abdecken.
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 auch 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 derModellierung als auch der VP- und SW-Verifikation abdecken.
- Ermöglicht die Verbesserung aller wichtigen Aspekte eines Virtual Prototype (VP)-basierten Designablaufes.
- Umfasst automatisierte formale Verifikationsmethoden und fortgeschrittene abdeckungsgeleitete Testverfahren,die auf SystemC-basierte VPs zugeschnitten sind.
- Beschreibt effiziente, abdeckungsgeleitete Testgenerierungsmethoden für VP-basierte funktionale und nicht-funktionale Software (SW) Analyse und Verifikation.
- Enthält Korrespondenzanalysen zur Nutzung von Informationen zwischen verschiedenen Abstraktionsebenen.
- Verwendet mehrere VP- und SW-Verifikationsfallstudien entsprechend der modernen RISC-V ISA.
Die Übersetzung wurde mit Hilfe von künstlicher Intelligenz (anhand einer maschinellen Übersetzung durch einen Service von DeepL.com) angefertigt. Da die anschließende Überprüfung hauptsächlich im Hinblick auf inhaltliche Gesichtspunkte erfolgte, kann sich der Text des Buches stilistisch von einer konventionellen Übersetzung unterscheiden. Springer Nature arbeitet bei derPublikation von Büchern kontinuierlich mit innovativen Technologien, um die Arbeit der Autoren zu unterstützen.
Productspecificaties
Wij vonden geen specificaties voor jouw zoekopdracht '{SEARCH}'.
Inhoud
- Taal
- de
- Bindwijze
- Hardcover
- Oorspronkelijke releasedatum
- 02 januari 2023
- Aantal pagina's
- 262
- Illustraties
- Met illustraties
Betrokkenen
- Hoofdauteur
- Vladimir Herdt
- Tweede Auteur
- Daniel Grosse
- Hoofduitgeverij
- Springer Vieweg
Vertaling
- Originele titel
- Enhanced Virtual Prototyping
Overige kenmerken
- Editie
- 1. Aufl. 2022
- Product breedte
- 155 mm
- Product lengte
- 235 mm
- Studieboek
- Ja
- Verpakking breedte
- 155 mm
- Verpakking hoogte
- 235 mm
- Verpakking lengte
- 235 mm
- Verpakkingsgewicht
- 600 g
EAN
- EAN
- 9783031181733
Je vindt dit artikel in
- Categorieën
- Beschikbaarheid
- Leverbaar
- Taal
- Duits
- Boek, ebook of luisterboek?
- Boek
- Studieboek of algemeen
- Studieboeken
Kies gewenste uitvoering
Kies je bindwijze
(2)
Prijsinformatie en bestellen
De prijs van dit product is 90 euro en 99 cent.
2 - 3 weken
Verkoop door bol
- Prijs inclusief verzendkosten, verstuurd door bol
- Ophalen bij een bol afhaalpunt mogelijk
- 30 dagen bedenktijd en gratis retourneren
- Dag en nacht klantenservice
Rapporteer dit artikel
Je wilt melding doen van illegale inhoud over dit artikel:
- Ik wil melding doen als klant
- Ik wil melding doen als autoriteit of trusted flagger
- Ik wil melding doen als partner
- Ik wil melding doen als merkhouder
Geen klant, autoriteit, trusted flagger, merkhouder of partner? Gebruik dan onderstaande link om melding te doen.