Thilo Vörtler

UVM-SystemC-AMS Framework for System-Level Verification and Validation of Automotive Use Cases

Martin Barnasconi, Manfred Dietrich, Karsten Einwich et al. · IEEE Design and Test · 2015 · 28 citations

Engineering, Automotive Engineering, Systems Engineering +17

Formal Verification of Software for the Contiki Operating System Considering Interrupts

Thilo Vörtler, Benny Höckner, Petra Hofstedt et al. · 2015 · 11 citations

Computing, Computer Engineering, Computer Science +17

Testbench qualification for SystemC-AMS timed data flow models

Muhammad Hassan, Daniel Grose, Hoang M. Le et al. · 2018 · 11 citations

Engineering, Computer Engineering, Computer Science +17

Functional Coverage-Driven Characterization of RF Amplifiers

Muhammad Hassan, Thilo Vörtler, Karsten Einwich et al. · 2019 · 10 citations

Engineering, Electrical Engineering, Systems Engineering +14