Skip to main content Skip to main navigation

Publications

Page 4 of 4.

  1. Security Validation of VP-based SoCs Using Dynamic Information Flow Tracking

    In: Stefan Conrad; Paul Molitor (Hrsg.). IT - information technology (IT), DE GRUYTER OLDENBOURG, 2019.

  2. Automated Analysis of Virtual Prototypes at Electronic System Level

    In: 29th ACM Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2019), May 9-11, Washington, DC, USA, 2019.

  3. Muhammad Hassan; Daniel Große; Thilo Vörtler; Karsten Einwich; Rolf Drechsler

    Functional Coverage-Driven Characterization of RF Amplifiers

    In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2019), September 2-4, Southampton, United Kingdom, …

  4. Thilo Vörtler; Karsten Einwich; Muhammad Hassan; Daniel Große

    Using Constraints for SystemC AMS Design and Verification

    In: Design and Verification Conference and Exhibition Europe (DVCon Europe). Design and Verification Conference Europe (DVCon Europe-2018), October …

  5. Muhammad Hassan; Vladimir Herdt; Hoang M. Le; Mingsong Chen; Daniel Große; Rolf Drechsler

    Data Flow Testing for Virtual Prototypes

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2017), March 27-31, Lausanne, Switzerland, 2017.

  6. Guided Lightweight Software Test Qualification for IP Integration using Virtual Prototypes

    In: The 34th IEEE International Conference on Computer Design. IEEE International Conference on Computer Design (ICCD-34), October 3-5, Phoenix, USA, …