Follow
Pascal Pieper
Pascal Pieper
Deutsches Forschungszentrum für Künstliche Intelligenz; University of Bremen
Verified email at uni-bremen.de - Homepage
Title
Cited by
Cited by
Year
RISC-V based virtual prototype: An extensible and configurable platform for the system-level
V Herdt, D Große, P Pieper, R Drechsler
Journal of Systems Architecture 109, 101756, 2020
732020
Dynamic information flow tracking for embedded binaries using SystemC-based virtual prototypes
P Pieper, V Herdt, D Große, R Drechsler
2020 57th ACM/IEEE Design Automation Conference (DAC), 1-6, 2020
202020
Minimally invasive HW/SW co-debug live visualization on architecture level
P Pieper, R Wimmer, G Angst, R Drechsler
Proceedings of the 2021 on Great Lakes Symposium on VLSI, 321-326, 2021
72021
Advanced Embedded System Modeling and Simulation in an Open Source RISC-V Virtual Prototype
P Pieper, V Herdt, R Drechsler
Journal of Low Power Electronics and Applications 12 (4), 52, 2022
52022
Advanced environment modeling and interaction in an open source RISC-V virtual prototype
P Pieper, V Herdt, R Drechsler
Proceedings of the Great Lakes Symposium on VLSI 2022, 193-197, 2022
42022
Umgebung für automatisierte Tests von Dateisystemen auf NAND-Flash
P Pieper
Universität Bremen, 2016
12016
Hardware and Environment Modeling
P Pieper, R Drechsler
Formal and Practical Techniques for the Complex System Design Process using …, 2024
2024
Verification
P Pieper, R Drechsler
Formal and Practical Techniques for the Complex System Design Process using …, 2024
2024
Formal and Practical Techniques for the Complex System Design Process Using Virtual Prototypes: Better Early Than Never
P Pieper, R Drechsler
Springer Nature, 2024
2024
Virtual-Peripheral-in-the-Loop: A Hardware-in-the-Loop Strategy to Bridge the VP/RTL Design-Gap
S Ahmadi-Pour, P Pieper, R Drechsler
arXiv preprint arXiv:2311.00442, 2023
2023
Better Early Than Never: Formal and Pracitcal Techniques for the Complex System Design Process Using Virtual Prototypes
P Pieper
Universität Bremen, 2023
2023
Verifying SystemC TLM peripherals using modern C++ symbolic execution tools
P Pieper, V Herdt, D Große, R Drechsler
Proceedings of the 59th ACM/IEEE Design Automation Conference, 1177-1182, 2022
2022
Umgebung für automatisierte Tests von Dateisystemen auf NAND-Flash-Speichern
P Pieper, F Greif, G Fey
Internet der Dinge: Echtzeit 2016, 127-132, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–13