Buchumschlag

Optimizing Coverage-Driven Verification Using Machine Learning and PyUVM: A Novel Approach

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kumari, Suruchi, Gadde, Deepak Narayan, Kumar, Aman
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Hardware Architecture Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Towards Efficient Design Verification -- Constrained Random Verification using PyUVM
von: Gadde, Deepak Narayan, et al.
Veröffentlicht: (2024)

Effective Design Verification -- Constrained Random with Python and Cocotb
von: Gadde, Deepak Narayan, et al.
Veröffentlicht: (2024)

FuzzWiz -- Fuzzing Framework for Efficient Hardware Coverage
von: Gadde, Deepak Narayan, et al.
Veröffentlicht: (2024)

All Artificial, Less Intelligence: GenAI through the Lens of Formal Verification
von: Gadde, Deepak Narayan, et al.
Veröffentlicht: (2024)

Analogous Alignments: Digital "Formally" meets Analog
von: Mohanty, Hansa, et al.
Veröffentlicht: (2024)

Hey AI, Generate Me a Hardware Code! Agentic AI-based Hardware Design & Verification
von: Gadde, Deepak Narayan, et al.
Veröffentlicht: (2025)

From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification
von: Ye, Junhao, et al.
Veröffentlicht: (2025)

Hard Math -- Easy UVM: Pragmatic solutions for verifying hardware algorithms using UVM
von: Litterick, Mark, et al.
Veröffentlicht: (2024)

Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
von: Mohanty, Hansa, et al.
Veröffentlicht: (2025)

HAVEN: Hybrid Automated Verification ENgine for UVM Testbench Synthesis with LLMs
von: Meng, Chang-Chih, et al.
Veröffentlicht: (2026)

A Semi-Formal Verification Methodology for Efficient Configuration Coverage of Highly Configurable Digital Designs
von: Kumar, Aman, et al.
Veröffentlicht: (2024)

Improving Simulation Regression Efficiency using a Machine Learning-based Method in Design Verification
von: Gadde, Deepak Narayan, et al.
Veröffentlicht: (2024)

Pragmatic Formal Verification Methodology for Clock Domain Crossing (CDC)
von: Kumar, Aman, et al.
Veröffentlicht: (2024)

Verifying Non-friendly Formal Verification Designs: Can We Start Earlier?
von: Olmos, Bryan, et al.
Veröffentlicht: (2024)

UVMarvel: an Automated LLM-aided UVM Machine for Subsystem-level RTL Verification
von: Ye, Junhao, et al.
Veröffentlicht: (2026)

FVDebug: An LLM-Driven Debugging Assistant for Automated Root Cause Analysis of Formal Verification Failures
von: Bai, Yunsheng, et al.
Veröffentlicht: (2025)

Production-Grade Local LLM Inference on Apple Silicon: A Comparative Study of MLX, MLC-LLM, Ollama, llama.cpp, and PyTorch MPS
von: Rajesh, Varun, et al.
Veröffentlicht: (2025)

TPU-Gen: LLM-Driven Custom Tensor Processing Unit Generator
von: Vungarala, Deepak, et al.
Veröffentlicht: (2025)

Understanding Inference-Time Token Allocation and Coverage Limits in Agentic Hardware Verification
von: Patel, Vihaan, et al.
Veröffentlicht: (2026)

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback
von: Wang, Ning, et al.
Veröffentlicht: (2025)

GenAI-Driven Approach to RISC-V Supply Chain Exploration
von: Petrovic, Nenad, et al.
Veröffentlicht: (2026)

HYPERHEURIST: A Simulated Annealing-Based Control Framework for LLM-Driven Code Generation in Optimized Hardware Design
von: Ahir, Shiva, et al.
Veröffentlicht: (2026)

STELLAR: Structure-guided LLM Assertion Retrieval and Generation for Formal Verification
von: Rajabi, Saeid, et al.
Veröffentlicht: (2025)

FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware
von: Kang, Minwoo, et al.
Veröffentlicht: (2024)

SPICEPilot: Navigating SPICE Code Generation and Simulation with AI Guidance
von: Vungarala, Deepak, et al.
Veröffentlicht: (2024)

Evaluating CUDA Tile for AI Workloads on Hopper and Blackwell GPUs
von: Yadav, Divakar Kumar, et al.
Veröffentlicht: (2026)

PRO-V-R1: Reasoning Enhanced Programming Agent for RTL Verification
von: Zhao, Yujie, et al.
Veröffentlicht: (2025)

VeriHGN: Heterogeneous Graph-Based Congestion Prediction for Chip Layout Verification
von: Hu, Runbang, et al.
Veröffentlicht: (2026)

AC-Refiner: Efficient Arithmetic Circuit Optimization Using Conditional Diffusion Models
von: Xue, Chenhao, et al.
Veröffentlicht: (2025)

ChatSVA: Bridging SVA Generation for Hardware Verification via Task-Specific LLMs
von: Fu, Lik Tung, et al.
Veröffentlicht: (2026)

Full-stack evaluation of Machine Learning inference workloads for RISC-V systems
von: Bhattacharjee, Debjyoti, et al.
Veröffentlicht: (2024)

Declarative Synthesis and Multi-Objective Optimization of Stripboard Circuit Layouts Using Answer Set Programming
von: Li, Fang
Veröffentlicht: (2025)

Characterizing Soft-Error Resiliency in Arm's Ethos-U55 Embedded Machine Learning Accelerator
von: Tyagi, Abhishek, et al.
Veröffentlicht: (2024)

Timing-Driven Global Placement by Efficient Critical Path Extraction
von: Shi, Yunqi, et al.
Veröffentlicht: (2025)

Life-Cycle Emissions of AI Hardware: A Cradle-To-Grave Approach and Generational Trends
von: Schneider, Ian, et al.
Veröffentlicht: (2025)

Accelerating Post-Quantum Cryptography via LLM-Driven Hardware-Software Co-Design
von: Liao, Yuchao, et al.
Veröffentlicht: (2026)

A Two Level Neural Approach Combining Off-Chip Prediction with Adaptive Prefetch Filtering
von: Jamet, Alexandre Valentin, et al.
Veröffentlicht: (2024)

HiAER-Spike Software-Hardware Reconfigurable Platform for Event-Driven Neuromorphic Computing at Scale
von: Frank, Gwenevere, et al.
Veröffentlicht: (2026)

Panacea: Novel DNN Accelerator using Accuracy-Preserving Asymmetric Quantization and Energy-Saving Bit-Slice Sparsity
von: Kam, Dongyun, et al.
Veröffentlicht: (2024)

AI-Powered Agile Analog Circuit Design and Optimization
von: Hu, Jinhai, et al.
Veröffentlicht: (2025)