:: Library Catalog

Kapak Resmi

Kaydedildi:

Detaylı Bibliyografya
Asıl Yazarlar:	Wang, Yonghao, Yin, Yang, Lyu, Hongqin, Zhou, Jiaxin, Chao, Zhiteng, Shi, Mingyu, Ding, Wenchao, Du, Yunlin, Ye, Jing, Wang, Tiancheng, Li, Huawei
Materyal Türü:	Preprint
Baskı/Yayın Bilgisi:	2026
Konular:	Hardware Architecture
Online Erişim:	https://arxiv.org/abs/2604.06607
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

AssertFix: Empowering Automated Assertion Fix via Large Language Models
Yazar:: Lyu, Hongqin, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

Iterative LLM-Based Assertion Generation Using Syntax-Semantic Representations for Functional Coverage-Guided Verification
Yazar:: Wang, Yonghao, ve diğerleri
Baskı/Yayın Bilgisi: (2026)

AssertGen: Enhancement of LLM-aided Assertion Generation through Cross-Layer Signal Bridging
Yazar:: Lyu, Hongqin, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

AssertMiner: Module-Level Spec Generation and Assertion Mining using Static Analysis Guided LLMs
Yazar:: Lyu, Hongqin, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

DeepAssert: An LLM-Aided Verification Framework with Fine-Grained Assertion Generation for Modules with Extracted Module Specifications
Yazar:: Wang, Yonghao, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

Arcane: An Assertion Reduction Framework through Semantic Clustering and MCTS-Guided Rule Exploring
Yazar:: Lyu, Hongqin, ve diğerleri
Baskı/Yayın Bilgisi: (2026)

From Indiscriminate to Targeted: Efficient RTL Verification via Functionally Key Signal-Driven LLM Assertion Generation
Yazar:: Wang, Yonghao, ve diğerleri
Baskı/Yayın Bilgisi: (2026)

AssertLLM: Generating Hardware Verification Assertions from Design Specifications via Multi-LLMs
Yazar:: Yan, Zhiyuan, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction
Yazar:: Tian, Enyuan, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

Think with Self-Decoupling and Self-Verification: Automated RTL Design with Backtrack-ToT
Yazar:: Chao, Zhiteng, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

AssertLLM: Generating and Evaluating Hardware Verification Assertions from Design Specifications via Multi-LLMs
Yazar:: Fang, Wenji, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

AssertLLM2: A Comprehensive LLM Benchmark for Assertion Generation from Design Specifications
Yazar:: Wu, Yuchao, ve diğerleri
Baskı/Yayın Bilgisi: (2026)

Extend IVerilog to Support Batch RTL Fault Simulation
Yazar:: Tang, Jiaping, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

Pecker: Bug Localization Framework for Sequential Designs via Causal Chain Reconstruction
Yazar:: Tang, Jiaping, ve diğerleri
Baskı/Yayın Bilgisi: (2026)

RTLSeek: Boosting the LLM-Based RTL Generation with Multi-Stage Diversity-Oriented Reinforcement Learning
Yazar:: Zhang, Xinyu, ve diğerleri
Baskı/Yayın Bilgisi: (2026)

InF-ATPG: Intelligent FFR-Driven ATPG with Advanced Circuit Representation Guided Reinforcement Learning
Yazar:: Sun, Bin, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

Spec2Assertion: Automatic Pre-RTL Assertion Generation using Large Language Models with Progressive Regularization
Yazar:: Wu, Fenghua, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

MixFP4: Enhancing NVFP4 with Adaptive FP4/INT4 Block Representations
Yazar:: Zou, Jiaxiang, ve diğerleri
Baskı/Yayın Bilgisi: (2026)

Automatic High-quality Verilog Assertion Generation through Subtask-Focused Fine-Tuned LLMs and Iterative Prompting
Yazar:: Shahidzadeh, Mohammad, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Insights from Rights and Wrongs: A Large Language Model for Solving Assertion Failures in RTL Design
Yazar:: Zhou, Jie, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

CoroAMU: Unleashing Memory-Driven Coroutines through Latency-Aware Decoupled Operations
Yazar:: Jiang, Zhuolun, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

RTLFixer: Automatically Fixing RTL Syntax Errors with Large Language Models
Yazar:: Tsai, Yun-Da, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

AccelSync: Verifying Synchronization Coverage in Accelerator Pipeline Programs
Yazar:: An, Hangcheng, ve diğerleri
Baskı/Yayın Bilgisi: (2026)

LLMulator: Generalizable Cost Modeling for Dataflow Accelerators with Input-Adaptive Control Flow
Yazar:: Chang, Kaiyan, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

LAAG-RV: LLM Assisted Assertion Generation for RTL Design Verification
Yazar:: Maddala, Karthik, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

STELLAR: Structure-guided LLM Assertion Retrieval and Generation for Formal Verification
Yazar:: Rajabi, Saeid, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

A Fully Hardware Implemented Accelerator Design in ReRAM Analog Computing without ADCs
Yazar:: Dang, Peng, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

From Language to Logic: Bridging LLMs & Formal Representations for RTL Assertion Generation
Yazar:: Mashnoor, Nowfel, ve diğerleri
Baskı/Yayın Bilgisi: (2026)

Lifecycle Cost-Effectiveness Modeling for Redundancy-Enhanced Multi-Chiplet Architectures
Yazar:: Liu, Zizhen, ve diğerleri
Baskı/Yayın Bilgisi: (2026)

HLSPilot: LLM-based High-Level Synthesis
Yazar:: Xiong, Chenwei, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

TLV-HGNN: Thinking Like a Vertex for Memory-efficient HGNN Inference
Yazar:: Han, Dengke, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

Translating Common Security Assertions Across Processor Designs: A RISC-V Case Study
Yazar:: Imtiaz, Sharjeel, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

TEMP: A Memory Efficient Physical-aware Tensor Partition-Mapping Framework on Wafer-scale Chips
Yazar:: Wang, Huizheng, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

An Optimal Alignment-Driven Iterative Closed-Loop Convergence Framework for High-Performance Ultra-Large Scale Layout Pattern Clustering
Yazar:: Liu, Shuo
Baskı/Yayın Bilgisi: (2025)

Trimma: Trimming Metadata Storage and Latency for Hybrid Memory Systems
Yazar:: Li, Yiwei, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Asynchronous Memory Access Unit: Exploiting Massive Parallelism for Far Memory Access
Yazar:: Wang, Luming, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

ApproxPilot: A GNN-based Accelerator Approximation Framework
Yazar:: Zhang, Qing, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

NOVA: Coordinated Test Selection and Bayes-Optimized Constrained Randomization for Accelerated Coverage Closure
Yazar:: Peng, Weijie, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

Understanding Inference-Time Token Allocation and Coverage Limits in Agentic Hardware Verification
Yazar:: Patel, Vihaan, ve diğerleri
Baskı/Yayın Bilgisi: (2026)

Optimizing Coverage-Driven Verification Using Machine Learning and PyUVM: A Novel Approach
Yazar:: Kumari, Suruchi, ve diğerleri
Baskı/Yayın Bilgisi: (2025)