Homepage Sitemap Contact




Home « Team « Publications
» Publications of Vladimir Herdt



BOOKS

» Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
[Read more about this book!]



Publisher:


Springer
Author:

Vladimir Herdt, Daniel Große, Rolf Drechsler
Format:
Hardcover
Year:


2020




» Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs
[Read more about this book!]



Publisher:


Springer
Author:

Vladimir Herdt
Format:
Softcover
Year:


2016





BOOK CONTRIBUTIONS
» Extensible and Configurable RISC-V Based Virtual Prototype
Bigpicture: Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2018 Author:

Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler

Editor:Tom J. Kazmierski, Sebastian Steinhorst, Daniel Große
Booktitle:Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2018
Publisher:Springer
Sites:115-134
Year:2020
Format:Hardcover



» Towards Early Validation of Firmware-Based Power Management Using Virtual Prototypes: A Constrained Random Approach
Bigpicture: Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2017 Author:

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler

Editor:Daniel Große, Sara Vinco, Hiren Patel
Booktitle:Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2017
Publisher:Springer
Sites:25-44
Year:2019
Format:Hardcover



» On the Application of Formal Fault Localization to Automated RTL-to-TLM Fault Correspondence Analysis for Fast and Accurate VP-Based Error Effect Simulation: A Case Study
Bigpicture: Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016 Author:

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler

Editor:Franco Fummi, Robert Wille
Booktitle:Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016
Publisher:Springer
Sites:39-58
Year:2018
Format:Hardcover





JOURNALS

» Advanced Virtual Prototyping for Cyber-Physical Systems using RISC-V: Implementation, Verification and Challenges
[Link to the Homepage of this journal]




Author:

Vladimir Herdt, Rolf Drechsler
Journal:
Science China Information Sciences (SCIS)
Details:
accepted
Year:


2021





» Towards RISC-V CSR Compliance Testing
[Link to the Homepage of this journal]




Author:

Niklas Bruns, Vladimir Herdt, Daniel Große, Rolf Drechsler
Journal:
IEEE Embedded Systems Letters (ESL)
Details:
accepted
Year:


2021





» Adaptive Simulation with Virtual Prototypes in an Open-Source RISC-V Evaluation Platform
[Link to the Homepage of this journal]




Author:

Vladimir Herdt, Daniel Große, Sören Tempel, Rolf Drechsler
Journal:
Journal of Systems Architecture - Embedded Software Design (JSA)
Details:
https://doi.org/10.1016/j.sysarc.2021.102135
Year:


2021





» RISC-V based Virtual Prototype: An Extensible and Configurable Platform for the System-level
[Link to the Homepage of this journal]




Author:

Vladimir Herdt, Daniel Große, Pascal Pieper, Rolf Drechsler
Journal:
Journal of Systems Architecture - Embedded Software Design (JSA)
Details:
https://doi.org/10.1016/j.sysarc.2020.101756
Year:


2020





» Combining Sequentialization-based Verification of Multi-Threaded C Programs with Symbolic Partial Order Reduction
[Link to the Homepage of this journal]




Author:

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Journal:
International Journal of Software Tools for Technology Transfer (STTT)
Details:
21(5):545-565. doi.org/10.1007/s10009-019-00507-5
Year:


2019





» Verifying SystemC using Intermediate Verification Language and Stateful Symbolic Simulation
[Link to the Homepage of this journal]




Author:

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Journal:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD)
Details:
38(7):1359-1372. doi.org/10.1109/TCAD.2018.2846638
Year:


2018






CONFERENCES



» Automated Detection of Spatial Memory Safety Violations for Constrained Devices




Author:

Sören Tempel, Vladimir Herdt, Rolf Drechsler
Conference:
Asia and South Pacific Design Automation Conference (ASP-DAC)
Reference:

Taipei, Taiwan, 2022
Hyperlink:

[To the Site of this Conference]



» Metamorphic Testing for Processor Verification: A RISC-V Case Study at the Instruction Level




Author:

Frank Riese, Vladimir Herdt, Daniel Große, Rolf Drechsler
Conference:
IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)
Reference:

Virtual Conference, Singapore, 2021
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» RISC-V AMS VP: An Open Source Evaluation Platform for Cyber-Physical Systems




Author:

Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler
Conference:
Forum on Specification & Design Languages (FDL)
Reference:

Antibes, France, 2021
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes




Author:

Sören Tempel, Vladimir Herdt, Rolf Drechsler
Conference:
Forum on Specification & Design Languages (FDL)
Reference:

Antibes, France, 2021
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Towards Reliable Spatial Memory Safety for Embedded Software by Combining Checked C with Concolic Testing




Author:

Sören Tempel, Vladimir Herdt, Rolf Drechsler
Conference:
Design Automation Conference (DAC)
Reference:

San Francisco, USA, 2021
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Vertical IP Protection of the Next-Generation Devices: Quo Vadis?




Author:

Shubham Rai, Siddharth Garg, Christian Pilato, Vladimir Herdt, Elmira Moussavi, Dominik Sisejkovic, Ramesh Karri, Rolf Drechsler, Farhad Merchant, Akash Kumar
Conference:
Design, Automation and Test in Europe Conference (DATE)
Reference:

Grenoble, France, 2021
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» An Effective Methodology for Integrating Concolic Testing with SystemC-based Virtual Prototypes




Author:

Sören Tempel, Vladimir Herdt, Rolf Drechsler
Conference:
Design, Automation and Test in Europe Conference (DATE)
Reference:

Grenoble, France, 2021
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Mutation-based Compliance Testing for RISC-V




Author:

Vladimir Herdt, Sören Tempel, Daniel Große, Rolf Drechsler
Conference:
Asia and South Pacific Design Automation Conference (ASP-DAC)
Reference:

Tokyo, Japan, 2021
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Adaptive Simulation with Virtual Prototypes for RISC-V: Switching Between Fast and Accurate at Runtime




Author:

Vladimir Herdt, Daniel Große, Sören Tempel, Rolf Drechsler
Conference:
38th IEEE International Conference on Computer Design (ICCD)
Reference:

Hartford, USA, 2020
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Verifying Safety Properties of Robotic Plans operating in Real-World Environments via Logic-based Environment Modeling




Author:

Tim Meywerk, Marcel Walter, Vladimir Herdt, Jan Kleinekathöfer, Daniel Große, Rolf Drechsler
Conference:
9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
Reference:

Rhodes, Greece, 2020
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Efficient Cross-Level Testing for Processor Verification: A RISC-V Case-Study




Author:

Vladimir Herdt, Daniel Große, Eyck Jentzsch, Rolf Drechsler
Conference:
Forum on Specification & Design Languages (FDL)
Reference:

Kiel, Germany, 2020
Best Paper Award
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms




Author:

Vladimir Herdt, Daniel Große, Rolf Drechsler
Conference:
Automated Technology for Verification and Analysis (ATVA)
Reference:

Hanoi, Vietnam, 2020
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Efficient Techniques to Strongly Enhance the Virtual Prototype based Design Flow




Author:

Vladimir Herdt, Rolf Drechsler
Conference:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Reference:

Limassol, Cyprus, 2020
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Verification of Embedded Binaries using Coverage-guided Fuzzing with SystemC-based Virtual Prototypes




Author:

Vladimir Herdt, Daniel Große, Jonas Wloka, Tim Güneysu, Rolf Drechsler
Conference:
30th ACM Great Lakes Symposium on VLSI (GLSVLSI)
Reference:

Beijing, China, 2020
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Closing the RISC-V Compliance Gap: Looking from the Negative Testing Side




Author:

Vladimir Herdt, Daniel Große, Rolf Drechsler
Conference:
Design Automation Conference (DAC)
Reference:

San Francisco, USA, 2020
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Dynamic Information Flow Tracking for Embedded Binaries using SystemC-based Virtual Prototypes




Author:

Pascal Pieper, Vladimir Herdt, Daniel Große, Rolf Drechsler
Conference:
Design Automation Conference (DAC)
Reference:

San Francisco, USA, 2020
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Towards Specification and Testing of RISC-V ISA Compliance




Author:

Vladimir Herdt, Daniel Große, Rolf Drechsler
Conference:
Design, Automation and Test in Europe (DATE)
Reference:

Grenoble, France, 2020
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Fast and Accurate Performance Evaluation for RISC-V using Virtual Prototypes




Author:

Vladimir Herdt, Daniel Große, Rolf Drechsler
Conference:
Design, Automation and Test in Europe (DATE)
Reference:

Grenoble, France, 2020
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Systematic RISC-V based Firmware Design




Author:

Vladimir Herdt, Daniel Große, Rolf Drechsler, Christoph Gerum, Alexander Jung, Joscha-Joel Benz, Oliver Bringmann, Michael Schwarz, Dominik Stoffel, Wolfgang Kunz
Conference:
Forum on specification & Design Languages (FDL)
Reference:

Southampton, United Kingdom, 2019
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Towards Formal Verification of Plans for Cognition-enabled Autonomous Robotic Agents




Author:

Tim Meywerk, Marcel Walter, Vladimir Herdt, Daniel Große, Rolf Drechsler
Conference:
EUROMICRO Digital System Design Conference (DSD)
Reference:

Kallithea - Chalkidiki, Greece, 2019
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Early Concolic Testing of Embedded Binaries with Virtual Prototypes: A RISC-V Case Study




Author:

Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler
Conference:
Design Automation Conference (DAC)
Reference:

Las Vegas, USA, 2019
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Verifying Instruction Set Simulators using Coverage-guided Fuzzing




Author:

Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler
Conference:
Design, Automation and Test in Europe (DATE)
Reference:

Florence, Italy, 2019
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Maximizing Power State Cross Coverage in Firmware-based Power Management




Author:

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Conference:
24th Asia and South Pacific Design Automation Conference (ASP-DAC)
Reference:

Tokyo, Japan, 2019
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Extensible and Configurable RISC-V based Virtual Prototype




Author:

Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler
Conference:
Forum on specification & Design Languages (FDL)
Reference:

Munich, Germany, 2018
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Resiliency Evaluation via Symbolic Fault Injection on Intermediate Code




Author:

Hoang M. Le, Vladimir Herdt, Daniel Große, Rolf Drechsler
Conference:
Design, Automation and Test in Europe (DATE)
Reference:

pp. 845-850, Dresden, Germany, 2018
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Towards Fully Automated TLM-to-RTL Property Refinement




Author:

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Conference:
Design, Automation and Test in Europe (DATE)
Reference:

pp. 1508-1511, Dresden, Germany, 2018
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Towards Early Validation of Firmware-Based Power Management using Virtual Prototypes: A Constrained Random Approach




Author:

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Conference:
Forum on specification & Design Languages (FDL)
Reference:

pp. 1-8, Verona, Italy, 2017
Best Paper Candidate
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Early SoC Security Validation by VP-based Static Information Flow Analysis




Author:

Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Conference:
International Conference on Computer Aided Design (ICCAD)
Reference:

pp. 400-407, Irvine, USA, 2017
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Data Flow Testing for Virtual Prototypes




Author:

Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Mingsong Chen, Daniel Große, Rolf Drechsler
Conference:
Design, Automation and Test in Europe (DATE)
Reference:

Lausanne, Switzerland, 2017
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» On the Application of Formal Fault Localization to Automated RTL-to-TLM Fault Correspondence Analysis for Fast and Accurate VP-based Error Effect Simulation - A Case Study




Author:

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Conference:
Forum on specification & Design Languages (FDL)
Reference:

Bremen, Germany, 2016
Best Paper Candidate
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Compiled Symbolic Simulation for SystemC




Author:

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Conference:
International Conference on Computer Aided Design (ICCAD)
Reference:

Austin, USA, 2016
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» ParCoSS: Efficient Parallelized Compiled Symbolic Simulation




Author:

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Conference:
International Conference on Computer Aided Verification (CAV)
Reference:

Toronto, Canada, 2016
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Towards Formal Verification of Real-World SystemC TLM Peripheral Models - A Case Study




Author:

Hoang M. Le, Vladimir Herdt, Daniel Große, Rolf Drechsler
Conference:
Design, Automation and Test in Europe (DATE)
Reference:

pp. 1160-1163, Dresden, Germany, 2016
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Verifying SystemC using Stateful Symbolic Simulation




Author:

Vladimir Herdt, Hoang M. Le, Rolf Drechsler
Conference:
Design Automation Conference (DAC)
Reference:

San Francisco, 2015
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Verifying SystemC using an Intermediate Verification Language and Symbolic Simulation




Author:

Hoang M. Le, Daniel Große, Vladimir Herdt, Rolf Drechsler
Conference:
Design Automation Conference (DAC)
Reference:

pp. 116:1-6 Austin, Texas, 2013
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]


WORKSHOPS




» MicroRV32: An Open Source RISC-V Cross-Level Platform for Education and Research




Author:

Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler
Workshop:
Design Automation for CPS and IoT (DESTION)
Reference:

Nashville, USA, 2021
PDF:

[view Pdf]
Hyperlink:

[Link to the Workshop]



» Constrained Random Verification for RISC-V: Overview, Evaluation and Discussion




Author:

Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler
Workshop:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Reference:

München, Germany, 2021
PDF:

[view Pdf]
Hyperlink:

[Link to the Workshop]



» VP-based DIFT for Embedded Binaries: A RISC-V Case Study




Author:

Pascal Pieper, Vladimir Herdt, Daniel Große, Rolf Drechsler
Workshop:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Reference:

München, Germany, 2021
Hyperlink:

[Link to the Workshop]



» MicroRV32: A SpinalHDL based RISC-V Implementation for FPGAs




Author:

Sallar Ahmadi-Pour, Vladimir Herdt and Rolf Drechsler
Workshop:
University Booth at Design, Automation and Test in Europe (DATE)
Reference:

Grenoble, France, 2021
PDF:

[view Pdf]
Hyperlink:

[Link to the Workshop]



» Efficient Techniques to Boost RISC-V Compliance Testing




Author:

Vladimir Herdt and Rolf Drechsler
Workshop:
Workshop on Interdependent Challenges of Reliability, Security and Quality (RESCUE)
Reference:

Grenoble, France, 2021
Hyperlink:

[Link to the Workshop]



» Fuzz-Testing RISC-V Simulators




Author:

Vladimir Herdt, Daniel Große, Rolf Drechsler
Workshop:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Reference:

Stuttgart, Germany, 2020
Hyperlink:

[Link to the Workshop]



» Evaluation of Power State Cross Coverage in Firmware-Based Power Management




Author:

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Workshop:
Embedded Software for Industrial IoTs (ESIIT)
Reference:

Dresden, Germany, 2018
Hyperlink:

[Link to the Workshop]



» Towards Automated Refinement of TLM Properties to RTL




Author:

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Workshop:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Reference:

Tübingen, Germany, 2018
Hyperlink:

[Link to the Workshop]



» Revisiting Symbolic Software-implemented Fault Injection




Author:

Hoang M. Le, Vladimir Herdt, Daniel Große, Rolf Drechsler
Workshop:
2nd International Workshop on Resiliency in Embedded Electronic Systems (REES)
Reference:

Lausanne, Switzerland, 2017
Hyperlink:

[Link to the Workshop]



» SystemC Verifikation mittels symbolischer Simulation einer Zwischensprache




Author:

Hoang M. Le, Daniel Große, Vladimir Herdt, Rolf Drechsler
Workshop:
edaWorkshop
Reference:

pp. 53-58, Dresden, 2013
PDF:

[view Pdf]
Hyperlink:

[Link to the Workshop]

















Die deutsche Version ist von dieser Seite nicht erreichbar - bitte gehen Sie eine Seite zurück.









Sitemap Kontakt

ISMVL2014 DUHDE