Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Einführung Kapitel lesen Erstes Kapitel lesen

2022 | OriginalPaper | Buchkapitel

2. Präliminarien

verfasst von : Vladimir Herdt, Daniel Große, Rolf Drechsler

Erschienen in: Verbessertes virtuelles Prototyping

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Zusammenfassung

Dieses Kapitel bietet Hintergrundinformationen zu relevanten und allgemeinen Themen für dieses Buch. Zunächst wird SystemC TLM (Transaction Level Modeling) vorgestellt, die Sprache der Wahl zur Erstellung von virtuellen Prototypen (VPs). Dann werden die Hauptkonzepte der RISC-V-Befehlssatzarchitektur (ISA) beschrieben. RISC-V wird in mehreren Evaluierungen und Fallstudien in diesem Buch verwendet und ist die ISA, die in unserem vorgeschlagenen Open-Source RISC-V-basierten VP implementiert ist. Schließlich werden in diesem Kapitel die wichtigsten Konzepte des Coverage-guided Fuzzing (CGF) und der symbolischen Ausführung vorgestellt. Beides sind sehr effektive Techniken für das Testen und Verifizieren von Software und dienen als Grundlage für mehrere in diesem Buch entwickelte Verifikationsansätze.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Einführung
Nächstes Kapitel Eine Open-Source RISC-V Evaluierungsplattform
Fußnoten
1
Wird dieselbe Implementierung des Simulationskerns verwendet, um dasselbe SystemC-Programm mit denselben Eingaben zu simulieren, so bleibt die Prozessreihenfolge dieselbe.
 
Literatur
113.
IEEE Standard 1666, IEEE Standard SystemC Language Reference Manual (2011)
85.
V. Herdt, Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs, 1. Aufl. (Springer, Berlin, 2016)CrossRef
19.
D. Black, J. Donovan, B. Bunton, A. Keist, SystemC: From the Ground Up, 2. Aufl. (Springer, New York, 2009)
71.
D. Große, R. Drechsler, Quality-Driven SystemC Design (Springer, New York, 2010)CrossRef
74.
T. Grotker, System Design with SystemC (Kluwer Academic, Berlin, 2002)
163.
OSCI, OSCI TLM-2.0 Language Reference Manual (2009)
17.
220.
167.
178.
151.
218.
A. Waterman, K. Asanović, in The RISC-V Instruction Set Manual. Unprivileged ISA, vol. I (SiFive Inc. and CS Division/EECS Department, University of California, Berkeley, 2019)
219.
A. Waterman, K. Asanović, The RISC-V Instruction Set Manual. Privileged architecture (SiFive Inc. and CS Division/EECS Department, University of California, Berkeley, 2019)
141.
9.
27.
C. Cadar, D. Dunbar, D. Engler, KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs, in OSDI (2008), S. 209–224
122.
J. C. King, Symbolic execution and program testing. Commun. Assoc. Comput. Mach. 19(7), 385–394 (1976)MathSciNetMATH
Metadaten
Titel
Präliminarien
verfasst von
Vladimir Herdt
Daniel Große
Rolf Drechsler
Copyright-Jahr
2022
Buch
Verbessertes virtuelles Prototyping

Print ISBN: 978-3-031-18173-3

Electronic ISBN: 978-3-031-18174-0

Copyright-Jahr: 2022

DOI
https://doi.org/10.1007/978-3-031-18174-0_2

Neuer Inhalt

    Bildnachweise