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