Buchumschlag

Understanding Inference-Time Token Allocation and Coverage Limits in Agentic Hardware Verification

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Patel, Vihaan, Chhabria, Vidya, Arora, Aman
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Hardware Architecture
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Spec2Cov: An Agentic Framework for Code Coverage Closure of Digital Hardware Designs
von: Lowe, Sean, et al.
Veröffentlicht: (2026)

CHICO-Agent: An LLM Agent for the Cross-layer Optimization of 2.5D and 3D Chiplet-based Systems
von: Wu, Qihang, et al.
Veröffentlicht: (2026)

GreenFPGA: Evaluating FPGAs as Environmentally Sustainable Computing Solutions
von: Sudarshan, Chetan Choppali, et al.
Veröffentlicht: (2023)

CarbonSet: A Dataset to Analyze Trends and Benchmark the Sustainability of CPUs and GPUs
von: Hu, Jiajun, et al.
Veröffentlicht: (2025)

Evaluating Computing Platforms for Sustainability: A Comparative Analysis of FPGAs against ASICs, GPUs, and CPUs
von: Sudarshan, Chetan Choppali, et al.
Veröffentlicht: (2026)

CarbonPATH: Carbon-aware pathfinding and architecture optimization for chiplet-based AI systems
von: Sudarshan, Chetan Choppali, et al.
Veröffentlicht: (2026)

GR-Evolve: Design-Adaptive Global Routing via LLM-Driven Algorithm Evolution
von: Jafri, Taizun, et al.
Veröffentlicht: (2026)

A Linear-Time Algorithm for Steady-State Analysis of Electromigration in General Interconnects
von: Shohel, Mohammad Abdullah Al, et al.
Veröffentlicht: (2021)

IR-Aware ECO Timing Optimization Using Reinforcement Learning
von: Jiang, Wenjing, 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)

ECO-CHIP: Estimation of Carbon Footprint of Chiplet-based Architectures for Sustainable VLSI
von: Sudarshan, Chetan Choppali, et al.
Veröffentlicht: (2023)

DALI-PD: Diffusion-based Synthetic Layout Heatmap Generation for ML in Physical Design
von: Wu, Bing-Yue, et al.
Veröffentlicht: (2025)

RACAM: Enhancing DRAM with Reuse-Aware Computation and Automated Mapping for ML Inference
von: Ma, Siyuan, et al.
Veröffentlicht: (2025)

Optimizing Coverage-Driven Verification Using Machine Learning and PyUVM: A Novel Approach
von: Kumari, Suruchi, et al.
Veröffentlicht: (2025)

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

Field-Programmable Gate Array Architecture for Deep Learning: Survey & Future Directions
von: Boutros, Andrew, et al.
Veröffentlicht: (2024)

GAMA: High-Performance GEMM Acceleration on AMD Versal ML-Optimized AI Engines
von: Mhatre, Kaustubh, et al.
Veröffentlicht: (2025)

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

QED: Scalable Verification of Hardware Memory Consistency
von: Ravi, Gokulan, et al.
Veröffentlicht: (2024)

Architect in the Loop Agentic Hardware Design and Verification
von: Mohammed, Mubarek
Veröffentlicht: (2025)

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

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

TurboFuzz: FPGA Accelerated Hardware Fuzzing for Processor Agile Verification
von: Zhong, Yang, et al.
Veröffentlicht: (2025)

FireBridge: Cycle-Accurate Hardware + Firmware Co-Verification for Modern Accelerators
von: Abarajithan, G, et al.
Veröffentlicht: (2026)

Efficient Approaches for GEMM Acceleration on Leading AI-Optimized FPGAs
von: Taka, Endri, et al.
Veröffentlicht: (2024)

Static Hardware Partitioning on RISC-V -- Shortcomings, Limitations, and Prospects
von: Ramsauer, Ralf, et al.
Veröffentlicht: (2022)

Iterative LLM-Based Assertion Generation Using Syntax-Semantic Representations for Functional Coverage-Guided Verification
von: Wang, Yonghao, et al.
Veröffentlicht: (2026)

AssertLLM: Generating Hardware Verification Assertions from Design Specifications via Multi-LLMs
von: Yan, Zhiyuan, et al.
Veröffentlicht: (2024)

Hardware Acceleration of Kolmogorov-Arnold Network (KAN) for Lightweight Edge Inference
von: Huang, Wei-Hsing, et al.
Veröffentlicht: (2024)

ONNX-to-Hardware Design Flow for Adaptive Neural-Network Inference on FPGAs
von: Manca, Federico, et al.
Veröffentlicht: (2024)

Hardware-based Heterogeneous Memory Management for Large Language Model Inference
von: Hwang, Soojin, et al.
Veröffentlicht: (2025)

DCI: A Coordinated Allocation and Filling Workload-Aware Dual-Cache Allocation GNN Inference Acceleration System
von: Luo, Yi, et al.
Veröffentlicht: (2025)

Lyra: A Hardware-Accelerated RISC-V Verification Framework with Generative Model-Based Processor Fuzzing
von: Huo, Juncheng, et al.
Veröffentlicht: (2025)

AssertLLM: Generating and Evaluating Hardware Verification Assertions from Design Specifications via Multi-LLMs
von: Fang, Wenji, et al.
Veröffentlicht: (2024)

Hardware-Software Co-Design for Accelerating Transformer Inference Leveraging Compute-in-Memory
von: Kim, Dong Eun, et al.
Veröffentlicht: (2025)

Bridging the Gap between Hardware Fuzzing and Industrial Verification
von: Ma, Ruiyang, et al.
Veröffentlicht: (2025)

Limited Read-Write/Set Hardware Transactional Memory without modifying the ISA or the Coherence Protocol
von: Kafousis, Konstantinos
Veröffentlicht: (2025)

MemExplorer: Navigating the Heterogeneous Memory Design Space for Agentic Inference NPUs
von: Wu, Haoran, et al.
Veröffentlicht: (2026)

Combating the Memory Walls: Optimization Pathways for Long-Context Agentic LLM Inference
von: Wu, Haoran, et al.
Veröffentlicht: (2025)

Hardware Generation and Exploration of Lookup Table-Based Accelerators for 1.58-bit LLM Inference
von: Geens, Robin, et al.
Veröffentlicht: (2026)