Preliminaries (Englisch)
- Neue Suche nach: Herdt, Vladimir
- Neue Suche nach: Große, Daniel
- Neue Suche nach: Drechsler, Rolf
- Neue Suche nach: Herdt, Vladimir
- Neue Suche nach: Große, Daniel
- Neue Suche nach: Drechsler, Rolf
In:
Enhanced Virtual Prototyping
: Featuring RISC-V Case Studies
;
Kapitel: 2
;
11-20
;
2020
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Preliminaries
-
Beteiligte:
-
Erschienen in:Enhanced Virtual Prototyping : Featuring RISC-V Case Studies ; Kapitel: 2 ; 11-20
-
Verlag:
- Neue Suche nach: Springer International Publishing
-
Erscheinungsort:Cham
-
Erscheinungsdatum:15.10.2020
-
Format / Umfang:10 pages
-
ISBN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:RISC-V , SystemC , Transaction level modeling (TLM) , Verification , Testing , Coverage-guided fuzzing (CGF) , Virtual prototype (VP) , Embedded system , TLM transaction , SC_Thread , SC_Method , Simulation kernel , Event-based synchronization , SystemC simulation , Simulation semantic , Instruction set extension , Instruction set architecture , Control and status register (CSR) , libFuzzer , Coverage instrumentation , Symbolic execution , Path condition
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
IntroductionHerdt, Vladimir / Große, Daniel / Drechsler, Rolf et al. | 2020
- 2
-
PreliminariesHerdt, Vladimir / Große, Daniel / Drechsler, Rolf et al. | 2020
- 3
-
An Open-Source RISC-V Evaluation PlatformHerdt, Vladimir / Große, Daniel / Drechsler, Rolf et al. | 2020
- 4
-
Formal Verification of SystemC-Based Designs using Symbolic SimulationHerdt, Vladimir / Große, Daniel / Drechsler, Rolf et al. | 2020
- 5
-
Coverage-Guided Testing for Scalable Virtual Prototype VerificationHerdt, Vladimir / Große, Daniel / Drechsler, Rolf et al. | 2020
- 6
-
Verification of Embedded Software Binaries using Virtual PrototypesHerdt, Vladimir / Große, Daniel / Drechsler, Rolf et al. | 2020
- 7
-
Validation of Firmware-Based Power Management using Virtual PrototypesHerdt, Vladimir / Große, Daniel / Drechsler, Rolf et al. | 2020
- 8
-
Register-Transfer Level Correspondence AnalysisHerdt, Vladimir / Große, Daniel / Drechsler, Rolf et al. | 2020
- 9
-
ConclusionHerdt, Vladimir / Große, Daniel / Drechsler, Rolf et al. | 2020