1
DRAMPyML: A Formal Description of DRAM Protocols with Timed Petri Nets
Autoren:
Christ, Derek; Zimmermann, Thomas; Barbie, Philippe; Saberi, Dmitri; Yin, Yao; Jung, Matthias
Konferenz:
DVCon Europe 2025 - Design and Verification Conference and Exibition
2
Efficient Coverage Optimization with Formal-Guided Testcase Generation in UVM Verification
Autoren:
Shen, Yu-Shien; Chen, Yean-Ru; Chen, Yu-Tung; Lin, En-Hsiang
Konferenz:
DVCon Europe 2025 - Design and Verification Conference and Exibition
3
Integrating SystemC TLM into FMI 3.0 Co-Simulations with an Open-Source Approach
Autoren:
Albu, Andrei Mihai; Pollo, Giovanni; Burrello, Alessio; Pagliari, Daniele Jahier; Tesconi, Cristian; Panaro, Loris; Soldi, Dario; Autieri, Fabio; Vinco, Sara
Konferenz:
DVCon Europe 2025 - Design and Verification Conference and Exibition
4
Leveraging RISC-V for Flexible and Adaptive Real-Time Radar Sequencing
Autoren:
Atzmueller, Michael; Findenig, Rainer; Greslehner-Nimmervoll, Bernhard; Ecker, Wolfgang; Grosse, Daniel
Konferenz:
DVCon Europe 2025 - Design and Verification Conference and Exibition
5
LLM-based Functional Coverage Generation and Auto-Evaluation Framework
Autoren:
Labuda, Jan; Zachariasova, Marcela; Matej, Zdenek
Konferenz:
DVCon Europe 2025 - Design and Verification Conference and Exibition
6
Minimally Intrusive Safety and Security Verification of Rust RTIC Applications
Autoren:
Dzialo, Pawel; Joensson, Ivar; Muench, Malte; Serrander, Erik; Eriksson, Johan; Lindgren, Per
Konferenz:
DVCon Europe 2025 - Design and Verification Conference and Exibition
7
Performance Evaluation of a Phase-Locked Loop using Variation-Aware Behavioral Models
Autoren:
Chavan, Neha; Roedel, Jan; Zivkovic, Carna; Grimm, Christoph
Konferenz:
DVCon Europe 2025 - Design and Verification Conference and Exibition
8
Transformation-Aided Verification of MAC Designs using Symbolic Computer Algebra
Autoren:
Weingarten, Lennart; Datta, Kamalika; Drechsler, Rolf
Konferenz:
DVCon Europe 2025 - Design and Verification Conference and Exibition