1
A Novel Approach in Proving Unreachable Paths in Hardware-dependent Software
Authors:
Olmos, Bryan; Kunz, Wolfgang; Lettnin, Djones
Conference:
DVCon Europe 2024 - Design and Verification Conference and Exhibition Europe
2
A Roundtrip: From System Requirements to Circuit Variations and Back
Authors:
Kwasigroch, Soeren; Theobald, Nicolas; Koch, Johannes; Grimm, Christoph
Conference:
DVCon Europe 2024 - Design and Verification Conference and Exhibition Europe
3
Automating the Use of State-Space Representations in Mixed-Signal IC Design and Verification
Authors:
Stilgenbauer, Francesco; De Ferrari, Matteo; Meroni, Christiano; Ridino, Giuseppe; Macario, Christian; Crovetti, Paolo Stefano; Bonizzoni, Edoardo; Malcovati, Piero
Conference:
DVCon Europe 2024 - Design and Verification Conference and Exhibition Europe
4
Enhanced VLSI Assertion Generation: Conforming to High-Level Specifications and Reducing LLM Hallucinations with RAG
Authors:
Quddus, Hafiz Abdul; Hossain, Md Sanowar; Cevahir, Ziya; Jesser, Alexander; Amin, Md Nur
Conference:
DVCon Europe 2024 - Design and Verification Conference and Exhibition Europe
5
Formal RTL Sign-off with Abstract Models
Authors:
Deutschmann, Lucas; Ayoub, Osama; Batthineni, Rohith; Schwarz, Michael; Ludwig, Tobias; Stoffel, Dominik; Kunz, Wolfgang
Conference:
DVCon Europe 2024 - Design and Verification Conference and Exhibition Europe
6
OpenCar: A SysML v2 Modeling Framework for Early Analysis of BoardNet Architectures
Authors:
Post, Sebastian; Koch, Johannes; Bevrnja, Aida; Grimm, Christoph
Conference:
DVCon Europe 2024 - Design and Verification Conference and Exhibition Europe
7
Reliable and Real-Time Anomaly Detection for Safety-Relevant Systems
Authors:
Heermann, Hagen; Koch, Johannes; Grimm, Christoph
Conference:
DVCon Europe 2024 - Design and Verification Conference and Exhibition Europe
8
Securing Silicon: A Scalable, Platform-independent Hardware Security Verification Methodology
Authors:
Faisal, Muhammad Abdullah Al; Nagar, Jaimini; Dworzak, Thorsten; Simon, Sebastian; Heinkel, Ulrich; Lettnin, Djones
Conference:
DVCon Europe 2024 - Design and Verification Conference and Exhibition Europe
9
Trustworthiness Evaluation of Deep Learning Accelerators Using UVM-based Verification with Error Injection
Authors:
Aboudeif, Randa; Awaad, Tasneem A.; AbdElsalam, Mohamed; Ismail, Yehea
Conference:
DVCon Europe 2024 - Design and Verification Conference and Exhibition Europe
10
Virtual Prototyping Framework for Pixel Detector Electronics in High Energy Physics
Authors:
Brambilla, Francesco E.; Ceresa, Davide; Dhaliwal, Jashandeep; Esposito, Stefano; Kloukinas, Kostas; Prinzie, Jeffrey
Conference:
DVCon Europe 2024 - Design and Verification Conference and Exhibition Europe
11
Who checks the checkers? Automatically finding bugs in C-to-RTL formal equivalence checkers
Authors:
Pardalos, Michalis; Donaldson, Alastair F.; Morini, Emiliano; Pozzi, Laura; Wickerson, John
Conference:
DVCon Europe 2024 - Design and Verification Conference and Exhibition Europe