Hoang M. Le

Proving transaction and system-level properties of untimed SystemC TLM designs

Hoang M. Le, Rolf Drechsler · 2010 · 81 citations

Safety Evaluation of Automotive Electronics Using Virtual Prototypes

Jan-Hendrik Oetjens, Nico Bannow, Matthias Becker et al. · 2014 · 55 citations

Automotive Engineering, Engineering, Safety Science +19

Extensible and Configurable RISC-V Based Virtual Prototype

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

Engineering, Hardware Emulation, Virtual Engineering +15

Verifying SystemC using an intermediate verification language and symbolic simulation

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

Engineering, Verification, Computer-aided Verification +20

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

Engineering, Verification, Computer Architecture +22