Automated Redirection of Hardware Accesses for Host-Compiled Software Simulation

Authors: Rafael Stahl, Technische Universität München, DE; Daniel Müller-Gritschneder, Technische Universität München, DE; Ulf Schlichtmann, Technische Universität München, DE

Abstract:

-

Publication Date: 2018/09/12

Location of Publication: Forum on Design Languages (FDL)

Keywords: System Software Design; Verification