Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Abstrakt

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.

Klíčová slova

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

URL
Rok
2026
Strany
8
Časopis
IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, č. 05/2026, ISSN
Sborník
2026 IEEE 29th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Konference
2026 IEEE 29th International Symposium on Design and Diagnostics of Electronic Circuits and Systems
ISBN
979-8-3315-8229-6
Vydavatel
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"
}
Projekty
EvoML-EDA: Synergy of Evolutionary Algorithms and Advanced Machine Learning Algorithms for Digital Circuit Design, GAČR, JUNIOR STAR, GM26-22525M, zahájení: 2026-01-01, ukončení: 2030-12-31, řešení
Pracoviště
Nahoru