Hardware Architecture · Computer Science
A Multi-Agent Generative AI Framework for IC Module-Level Verification Automation
Wenbo Liu, Forbes Hou, Jon Zhang, Hong Liu +1
2025-07-30
Robotics · Computer Science
Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans
Dejanira Araiza-Illan, David Western, Anthony Pipe, Kerstin Eder
2015-10-12
Hardware Architecture · Computer Science
DeepAssert: An LLM-Aided Verification Framework with Fine-Grained Assertion Generation for Modules with Extracted Module Specifications
Yonghao Wang, Jiaxin Zhou, Hongqin Lyu, Zhiteng Chao +2
2025-09-19
Hardware Architecture · Computer Science
From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification
Junhao Ye, Yuchen Hu, Ke Xu, Dingrong Pan +7
2026-04-08
Artificial Intelligence · Computer Science
Hard Math -- Easy UVM: Pragmatic solutions for verifying hardware algorithms using UVM
Mark Litterick, Aleksandar Ivankovic, Bojan Arsov, Aman Kumar
2024-12-30
Software Engineering · Computer Science
Automatic Assertion Mining in Assertion-Based Verification: Techniques, Challenges, and Future Directions
Mohammad Reza Heidari Iman, Giorgio Di Natale, Katell Morin-Allory
2026-01-06
Hardware Architecture · Computer Science
Autoformalizing Memory Specifications with Agents
Jan Ole Ernst, Dmitri Michelangelo Saberi, Derek Christ, Thomas Zimmermann +5
2026-05-04
Hardware Architecture · Computer Science
AssertLLM: Generating Hardware Verification Assertions from Design Specifications via Multi-LLMs
Zhiyuan Yan, Wenji Fang, Mengming Li, Min Li +3
2024-11-25
Hardware Architecture · Computer Science
AssertLLM: Generating and Evaluating Hardware Verification Assertions from Design Specifications via Multi-LLMs
Wenji Fang, Mengming Li, Min Li, Zhiyuan Yan +3
2026-02-26
Cryptography and Security · Computer Science
Multi-IF : An Approach to Anomaly Detection in Self-Driving Systems
Kun Cheng, Yuebin Bai, Yuan Zhou, Chao Yu +1
2020-04-28
Software Engineering · Computer Science
Automatic Program Instrumentation for Automatic Verification (Extended Technical Report)
Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström +1
2023-06-02
Formal Languages and Automata Theory · Computer Science
A Framework for Formal Verification of DRAM Controllers
Lukas Steiner, Chirag Sudarshan, Matthias Jung, Dominik Stoffel +1
2022-10-03
Hardware Architecture · Computer Science
UVLLM: An Automated Universal RTL Verification Framework using LLMs
Yuchen Hu, Junhao Ye, Ke Xu, Jialin Sun +10
2024-11-26
Multiagent Systems · Computer Science
An Agency-Directed Approach to Test Generation for Simulation-based Autonomous Vehicle Verification
Greg Chance, Abanoub Ghobrial, Severin Lemaignan, Tony Pipe +1
2020-08-31
Cryptography and Security · Computer Science
AI-Assisted Hardware Security Verification: A Survey and AI Accelerator Case Study
Khan Thamid Hasan, Md Ajoad Hasan, Nashmin Alam, Md. Touhidul Islam +2
2026-04-03
Software Engineering · Computer Science
An Adaptive Design Methodology for Reduction of Product Development Risk
Hara Gopal Mani Pakala, Dr. Plh Varaprasad, Dr. Raju Kvsvn, Dr. Ibrahim Khan
2011-12-20
Software Engineering · Computer Science
On Distributed Runtime Verification by Aggregate Computing
Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Mirko Viroli
2019-08-29