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