Pascal Pieper

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 7

Top Topics

Evolvable Hardware

Minimally Invasive

Symbolic Execution

Top Venues

ACM Great Lakes Symposium on VLSI

Publications

Sallar Ahmadi-Pour, Pascal Pieper, Rolf Drechsler
Virtual-Peripheral-in-the-Loop : A Hardware-in-the-Loop Strategy to Bridge the VP/RTL Design-Gap. CoRR (2023)
Pascal Pieper, Vladimir Herdt, Daniel Große, Rolf Drechsler
Verifying SystemC TLM peripherals using modern C++ symbolic execution tools. DAC (2022)
Pascal Pieper, Vladimir Herdt, Rolf Drechsler
Advanced Environment Modeling and Interaction in an Open Source RISC-V Virtual Prototype. ACM Great Lakes Symposium on VLSI (2022)
Pascal Pieper, Ralf Wimmer, Gerhard Angst, Rolf Drechsler
Minimally Invasive HW/SW Co-debug Live Visualization on Architecture Level. ACM Great Lakes Symposium on VLSI (2021)
Vladimir Herdt, Daniel Große, Pascal Pieper, Rolf Drechsler
RISC-V based virtual prototype: An extensible and configurable platform for the system-level. J. Syst. Archit. 109 (2020)
Pascal Pieper, Vladimir Herdt, Daniel Große, Rolf Drechsler
Dynamic Information Flow Tracking for Embedded Binaries using SystemC-based Virtual Prototypes. DAC (2020)
Pascal Pieper, Fabian Greif, Görschwin Fey
Umgebung für automatisierte Tests von Dateisystemen auf NAND-Flash-Speichern. Echtzeit (2016)