Result Details

Embedded Tutorial: AI vs. Verification Engineer: Fight or Synergy?

ZACHARIÁŠOVÁ, M. Embedded Tutorial: AI vs. Verification Engineer: Fight or Synergy?. In 2026 IEEE 29th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems. IEEE, 2026. iss. 05/2026, p. 1-8. ISBN: 979-8-3315-8229-6.
Type
conference paper
Language
English
Authors
Abstract

The paper investigates the application of Artificial Intelligence (AI) algorithms in two critical areas of simulation based verification: (1) the development of verification testbenches (2) debugging activities within simulation environments. The primary objective is to assess how AI can enhance the productivity of verification engineers and improve the overall efficiency and quality of verification workflows in industrial practice. The paper presents the role of functional verification in the chip development flow, reviews widely adopted verification methodologies, AI techniques already used for automation and analysis, as well as the recent state-of-the-art research activities targeting emerging verification challenges. A key contribution is the identification of a significant gap in publicly available, high-quality open-source datasets tailored specifically for training AI models in hardware verification tasks. To ground the discussion in industrial reality, the paper also presents results from a survey conducted among 50 verification engineers, providing insight into which parts of a testbench could most benefit from AI-driven code generation or AI assistance. By combining a comprehensive state-of-the-art review with empirical insights from industry practitioners, this paper provides a structured analysis of current limitations and outlines concrete future research directions aligned with real world verification needs.

Keywords

Simulation-based Verification, Universal Verification Methodology, Large Language Models, Artificial Intelligence, Testbench Automation

URL
Published
2026
Pages
8
Journal
IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, no. 05/2026, ISSN
Proceedings
2026 IEEE 29th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Conference
2026 IEEE 29th International Symposium on Design and Diagnostics of Electronic Circuits and Systems
ISBN
979-8-3315-8229-6
Publisher
IEEE
DOI
EID Scopus
BibTeX
@inproceedings{BUT201974,
  author="Marcela {Zachariášová}",
  title="Embedded Tutorial: AI vs. Verification Engineer: Fight or Synergy?",
  booktitle="2026 IEEE 29th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)",
  year="2026",
  journal="IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems",
  number="05/2026",
  pages="8",
  publisher="IEEE",
  doi="10.1109/DDECS69233.2026.11520998",
  isbn="979-8-3315-8229-6",
  issn="2334-3133",
  url="https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=11520998&utm_source=scopus&getft_integrator=scopus&tag=1"
}
Projects
EvoML-EDA: Synergy of Evolutionary Algorithms and Advanced Machine Learning Algorithms for Digital Circuit Design, GACR, JUNIOR STAR, GM26-22525M, start: 2026-01-01, end: 2030-12-31, running
Departments
Back to top