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