Work

LLM-assisted Path Exploration for RTL Verification

Year: 2025

Type: conference-paper

DOI: 10.1109/mlcad65511.2025.11189172

Authors: Yan Tan, Xiangchen Meng, Yangdi Lyu

Institution: The Hong Kong University of Science and Technology (Guangzhou)

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: National Natural Science Foundation of China

OpenAlex ID: W4415003529

FWCI:

Cites: 15

Cited by:

Related to: