Enhanced Virtual Prototyping
Latest Publications

TOTAL DOCUMENTS

9
(FIVE YEARS 9)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783030548278, 9783030548285
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Validation of Firmware-Based Power Management using Virtual Prototypes

2020 ◽  
pp. 175-203
Author(s):  
Vladimir Herdt ◽  
Daniel Große ◽  
Rolf Drechsler
Keyword(s):  
Power Management ◽  
Virtual Prototypes

Verification of Embedded Software Binaries using Virtual Prototypes

2020 ◽  
pp. 143-174
Author(s):  
Vladimir Herdt ◽  
Daniel Große ◽  
Rolf Drechsler
Keyword(s):  
Embedded Software ◽  
Virtual Prototypes

Coverage-Guided Testing for Scalable Virtual Prototype Verification

2020 ◽  
pp. 119-142
Author(s):  
Vladimir Herdt ◽  
Daniel Große ◽  
Rolf Drechsler
Keyword(s):  
Virtual Prototype ◽  
Prototype Verification

An Open-Source RISC-V Evaluation Platform

2020 ◽  
pp. 21-58
Author(s):  
Vladimir Herdt ◽  
Daniel Große ◽  
Rolf Drechsler
Keyword(s):  
Open Source ◽  
Evaluation Platform

Preliminaries

2020 ◽  
pp. 11-20
Author(s):  
Vladimir Herdt ◽  
Daniel Große ◽  
Rolf Drechsler

Introduction

2020 ◽  
pp. 1-9
Author(s):  
Vladimir Herdt ◽  
Daniel Große ◽  
Rolf Drechsler

Conclusion

2020 ◽  
pp. 231-233
Author(s):  
Vladimir Herdt ◽  
Daniel Große ◽  
Rolf Drechsler

Formal Verification of SystemC-Based Designs using Symbolic Simulation

2020 ◽  
pp. 59-117
Author(s):  
Vladimir Herdt ◽  
Daniel Große ◽  
Rolf Drechsler
Keyword(s):  
Formal Verification ◽  
Symbolic Simulation

Register-Transfer Level Correspondence Analysis

2020 ◽  
pp. 205-229
Author(s):  
Vladimir Herdt ◽  
Daniel Große ◽  
Rolf Drechsler
Keyword(s):  
Correspondence Analysis ◽  
Register Transfer Level ◽  
Register Transfer
Load More ...
Sign in / Sign up

Export Citation Format

Share Document