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.
2024
Agentic AI Workflow for Digital Functional Verification Components Generation
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.
Generative AI
LLM
Verification
Coverage
SystemVerilog
File in questo prodotto:
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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.12608/93393