Vladimir Herdt

RISC-V based virtual prototype: An extensible and configurable platform for the system-level

Vladimir Herdt, Daniel Große, Pascal Pieper et al. · Journal of Systems Architecture · 2020 · 63 citations

Engineering, Computer Engineering, Computer Science +12

Extensible and Configurable RISC-V Based Virtual Prototype

Vladimir Herdt, Hoang M. Le, Rolf Drechsler · 2018 · 54 citations

Engineering, Computer Engineering, Computer Science +14

Verifying SystemC using an intermediate verification language and symbolic simulation

Hoang M. Le, Daniel Große, Vladimir Herdt et al. · 2013 · 48 citations

Computing, Computer Engineering, Computer Science +17

Verifying SystemC Using Intermediate Verification Language and Stateful Symbolic Simulation

Vladimir Herdt, Hoang M. Le, Daniel GroBe et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2018 · 42 citations

Computing, Computer Engineering, Computer Science +17

Verifying Instruction Set Simulators using Coverage-guided Fuzzing

Vladimir Herdt, Daniel Grose, Hoang M. Le et al. · 2019 · 41 citations

Computing, Computer Engineering, Computer Science +16