Copertina

DUET: Agentic Design Understanding via Experimentation and Testing

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Smith, Gus Henry, Adhikary, Sandesh, Thumuluri, Vineet, Suresh, Karthik, Pandit, Vivek, Hegde, Kartik, Shojaei, Hamid, Bhagavatula, Chandra
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering Artificial Intelligence Hardware Architecture
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Generation of Compiler Backends from Formal Models of Hardware
di: Smith, Gus Henry
Pubblicazione: (2024)

Structural Mutation Based Differential Testing for FPGA Logic Synthesis Compilers
di: Xu, Zhihao, et al.
Pubblicazione: (2025)

A Novel HDL Code Generator for Effectively Testing FPGA Logic Synthesis Compilers
di: Xu, Zhihao, et al.
Pubblicazione: (2024)

Scalable Software Testing in Fast Virtual Platforms: Leveraging SystemC, QEMU and Containerization
di: Jünger, Lukas, et al.
Pubblicazione: (2025)

DRCY: Agentic Hardware Design Reviews
di: Dumont, Kyle, et al.
Pubblicazione: (2026)

KernelCraft: Benchmarking for Agentic Close-to-Metal Kernel Generation on Emerging Hardware
di: Nie, Jiayi, et al.
Pubblicazione: (2026)

Is Agentic AI Ready for Real-World Hardware Engineering? A Deep Dive with Phoenix-bench
di: Zou, Qingyun, et al.
Pubblicazione: (2026)

Understanding Accelerator Compilers via Performance Profiling
di: Yorihiro, Ayaka, et al.
Pubblicazione: (2025)

Testing Resource Isolation for System-on-Chip Architectures
di: Ledent, Philippe, et al.
Pubblicazione: (2024)

FLAG: Formal and LLM-assisted SVA Generation for Formal Specifications of On-Chip Communication Protocols
di: Shih, Yu-An, et al.
Pubblicazione: (2025)

ITHICA: Intra-Thread Instruction Checking Approach for Defect-Induced Silent Data Corruptions
di: Vavelidou, Ioanna, et al.
Pubblicazione: (2026)

Using LLMs to Facilitate Formal Verification of RTL
di: Orenes-Vera, Marcelo, et al.
Pubblicazione: (2023)

Hardware-Accelerated Algorithm for Complex Function Roots Density Graph Plotting
di: Tang, Ruibai, et al.
Pubblicazione: (2025)

Offloading Data Center Tax
di: Revankar, Akshay, et al.
Pubblicazione: (2025)

EquivFusion: Unifying Hardware Equivalence Checking from Algorithms to Netlists via MLIR
di: Zhu, Jiaying, et al.
Pubblicazione: (2026)

Inexactness and Correction of Floating-Point Reciprocal, Division and Square Root
di: Dutton, Lucas M., et al.
Pubblicazione: (2024)

UVMarvel: an Automated LLM-aided UVM Machine for Subsystem-level RTL Verification
di: Ye, Junhao, et al.
Pubblicazione: (2026)

SARIS: Accelerating Stencil Computations on Energy-Efficient RISC-V Compute Clusters with Indirect Stream Registers
di: Scheffler, Paul, et al.
Pubblicazione: (2024)

MEIC: Re-thinking RTL Debug Automation using LLMs
di: Xu, Ke, et al.
Pubblicazione: (2024)

AutoINV: Automated Invariant Generation Framework for Formal Verification on High-Level Synthesis Designs
di: Zhou, Xiaofeng, et al.
Pubblicazione: (2026)

C2HLSC: Leveraging Large Language Models to Bridge the Software-to-Hardware Design Gap
di: Collini, Luca, et al.
Pubblicazione: (2024)

Quantifying Uncertainty in FMEDA Safety Metrics: An Error Propagation Approach for Enhanced ASIC Verification
di: Armato, Antonino, et al.
Pubblicazione: (2026)

FormalRTL: Verified RTL Synthesis at Scale
di: Li, Kezhi, et al.
Pubblicazione: (2026)

A Vertically Integrated Framework for Templatized Chip Design
di: Kim, Jeongeun, et al.
Pubblicazione: (2025)

LeGend: A Data-Driven Framework for Lemma Generation in Hardware Model Checking
di: Miao, Mingkai, et al.
Pubblicazione: (2026)

Generalized Methodology for Determining Numerical Features of Hardware Floating-Point Matrix Multipliers: Part I
di: Khattak, Faizan A, et al.
Pubblicazione: (2025)

Exploring the Agentic Frontier of Verilog Code Generation
di: Yubeaton, Patrick, et al.
Pubblicazione: (2026)

GreenMalloc: Allocator Optimisation for Industrial Workloads
di: Dakhama, Aidan, et al.
Pubblicazione: (2025)

DGEMM without FP64 Arithmetic - Using FP64 Emulation and FP8 Tensor Cores with Ozaki Scheme
di: Mukunoki, Daichi
Pubblicazione: (2025)

Bridging the Gap: Physical PCI Device Integration Into SystemC-TLM Virtual Platforms
di: Bosbach, Nils, et al.
Pubblicazione: (2025)

Selective Parallel Loading of Large-Scale Compressed Graphs with ParaGrapher
di: Esfahani, Mohsen Koohi, et al.
Pubblicazione: (2024)

David vs. Goliath: Can Small Models Win Big with Agentic AI in Hardware Design?
di: Shankar, Shashwat, et al.
Pubblicazione: (2025)

Understanding Inference-Time Token Allocation and Coverage Limits in Agentic Hardware Verification
di: Patel, Vihaan, et al.
Pubblicazione: (2026)

ChiseLLM: Unleashing the Power of Reasoning LLMs for Chisel Agile Hardware Development
di: Wang, Bowei, et al.
Pubblicazione: (2025)

Veri-Sure: A Contract-Aware Multi-Agent Framework with Temporal Tracing and Formal Verification for Correct RTL Code Generation
di: Liu, Jiale, et al.
Pubblicazione: (2026)

A High-level Synthesis Toolchain for the Julia Language
di: Short, Benedict, et al.
Pubblicazione: (2025)

HW/SW Co-design of a PCM/PWM converter: a System Level Approach based in the SpecC Methodology
di: Petrini, Daniel G. P., et al.
Pubblicazione: (2025)

Exploring Code Language Models for Automated HLS-based Hardware Generation: Benchmark, Infrastructure and Analysis
di: Gai, Jiahao, et al.
Pubblicazione: (2025)

SEPE-SQED: Symbolic Quick Error Detection by Semantically Equivalent Program Execution
di: Li, Yufeng, et al.
Pubblicazione: (2024)

FVRuleLearner: Operator-Level Reasoning Tree (OP-Tree)-Based Rules Learning for Formal Verification
di: Wan, Lily Jiaxin, et al.
Pubblicazione: (2026)