1
A Compositional Simulation Framework for Testing Adversarial Robustness of Deep Neural Networks
Autoren:
Maher Nader, Youssef; Lotfy Hatab, Mostafa; Ghaleb, Mazen Mostafa; Bakr, Safia Medhat; Awaad, Tasneem A.; AlGanzouri, Ahmed; Abdelsalam, Mohamed; Watheq El-Kharashi, M.
Konferenz:
DVCon Europe 2023 - Design and Verification Conference and Exhibition Europe
2
A Tool for Investigating Cyber-Physical Systems via SystemC AMS Virtual Prototypes Derived from SysML Models
Autoren:
Genius, Daniela; Apvrille, Ludovic
Konferenz:
DVCon Europe 2023 - Design and Verification Conference and Exhibition Europe
3
Clock Tree Design Considerations in The Presence of Asymmetric Transistor Aging
Autoren:
Gabbay, Freddy; Ramadan, Firas; Ganaiem, Majd
Konferenz:
DVCon Europe 2023 - Design and Verification Conference and Exhibition Europe
4
Co-Design of Automotive Boardnet Topology and Architecture
Autoren:
Post, Sebastian; Grimm, Christoph
Konferenz:
DVCon Europe 2023 - Design and Verification Conference and Exhibition Europe
5
Control Flow Analysis for Bottom-up Portable Models Creation
Autoren:
Bardonek, Petr; Zachariasova, Marcela
Konferenz:
DVCon Europe 2023 - Design and Verification Conference and Exhibition Europe
6
DSA Monitoring Framework for HW/SW Partitioning of Application Kernels leveraging VPs
Autoren:
Hazott, Christoph; Grosse, Daniel
Konferenz:
DVCon Europe 2023 - Design and Verification Conference and Exhibition Europe
7
Evaluation of the RISC-V Floating Point Extensions
Autoren:
Zurstrassen, Niko; Reimann, Lennart M.; Bosbach, Nils; Juenger, Lukas; Leupers, Rainer
Konferenz:
DVCon Europe 2023 - Design and Verification Conference and Exhibition Europe
8
Large-scale Gatelevel Optimization Leveraging Property Checking
Autoren:
Klemmer, Lucas; Bonora, Dominik; Grosse, Daniel
Konferenz:
DVCon Europe 2023 - Design and Verification Conference and Exhibition Europe
9
MapGL: Interactive Application Mapping and Profiling on a Grid of Processing Cells
Autoren:
Raccomandato, Claudio; Arasteh, Emad M.; Doemer, Rainer
Konferenz:
DVCon Europe 2023 - Design and Verification Conference and Exhibition Europe
10
MetaPSS: An Automation Framework for Generation of Portable Stimulus Model
Autoren:
Nagar, Jaimini; Dworzak, Thorsten; Simon, Sebastian; Heinkel, Ulrich; Lettnin, Djones
Konferenz:
DVCon Europe 2023 - Design and Verification Conference and Exhibition Europe
11
On the Performance Differences of SystemC and SystemC AMS: A Guideline for Real Number Modeling and Beyond
Autoren:
Kuester, Alexandra; Dorsch, Rainer; Haubelt, Christian
Konferenz:
DVCon Europe 2023 - Design and Verification Conference and Exhibition Europe
12
Variation-Aware Performance Verification of Analog Mixed-Signal Systems
Autoren:
Zivkovic, Carna; Roedel, Jan; Chavan, Neha; Rethmeier, Frank; Grimm, Christoph
Konferenz:
DVCon Europe 2023 - Design and Verification Conference and Exhibition Europe