The increasing complexity of digital circuit design poses significant challenges across all stages of the development process, particularly during pre-silicon functional verification, in terms of time and resources. Among the key components of the verification process, we have functional coverage, which plays a critical role in evaluating verification completeness and requires a substantial investment of manual effort and expertise. This thesis explores the potential of generative AI, specifically Large Language Models (LLMs), to assist in automating and accelerating the generation of functional coverage models. In this context, an agentic AI workflow has been developed to investigate how LLMs can interpret project requirements written in natural language and generate structured functional coverage components in SystemVerilog. The objective is to evaluate whether generative AI can reduce the overall digital pre-silicon verification effort, thereby accelerating time-to-market.
The increasing complexity of digital circuit design poses significant challenges across all stages of the development process, particularly during pre-silicon functional verification, in terms of time and resources. Among the key components of the verification process, we have functional coverage, which plays a critical role in evaluating verification completeness and requires a substantial investment of manual effort and expertise. This thesis explores the potential of generative AI, specifically Large Language Models (LLMs), to assist in automating and accelerating the generation of functional coverage models. In this context, an agentic AI workflow has been developed to investigate how LLMs can interpret project requirements written in natural language and generate structured functional coverage components in SystemVerilog. The objective is to evaluate whether generative AI can reduce the overall digital pre-silicon verification effort, thereby accelerating time-to-market.
Agentic AI Workflow for Digital Functional Verification Components Generation
GRISPINO, LORENZO
2024/2025
Abstract
The increasing complexity of digital circuit design poses significant challenges across all stages of the development process, particularly during pre-silicon functional verification, in terms of time and resources. Among the key components of the verification process, we have functional coverage, which plays a critical role in evaluating verification completeness and requires a substantial investment of manual effort and expertise. This thesis explores the potential of generative AI, specifically Large Language Models (LLMs), to assist in automating and accelerating the generation of functional coverage models. In this context, an agentic AI workflow has been developed to investigate how LLMs can interpret project requirements written in natural language and generate structured functional coverage components in SystemVerilog. The objective is to evaluate whether generative AI can reduce the overall digital pre-silicon verification effort, thereby accelerating time-to-market.| File | Dimensione | Formato | |
|---|---|---|---|
|
Grispino_Lorenzo.pdf
Accesso riservato
Dimensione
9.42 MB
Formato
Adobe PDF
|
9.42 MB | Adobe PDF |
The text of this website © Università degli studi di Padova. Full Text are published under a non-exclusive license. Metadata are under a CC0 License
https://hdl.handle.net/20.500.12608/93393