Skip to main content Skip to main navigation

Publikationen

Seite 4 von 4.

  1. System Level verification of Phase-Locked Loop using Metamorphic Relations

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2021), February 1-5, virtual, 2021.

  2. Coverage-Directed Stimuli Generation for Characterization of RF Amplifiers

    In: 32. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ 2020). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von …

  3. Data Flow Testing for SystemC-AMS Timed Data Flow Models

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2019), March 25-29, Florence, Italy, 2019.

  4. 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.

  5. 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.

  6. 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, …

  7. 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 …

  8. 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.

  9. 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, …