LLMAbstractor: LLM-Assisted RTL Abstraction for Hardware Property Checking Acceleration
收藏Figshare2025-11-17 更新2026-04-08 收录
下载链接：
https://figshare.com/articles/dataset/LLMAbstractor_LLM-Assisted_RTL_Abstraction_for_Hardware_Property_Checking_Acceleration/30633074/1
下载链接
链接失效反馈官方服务：
资源简介：
This dataset accompanies the manuscript “LLMAbstractor: LLM‑Assisted RTL Abstraction for Hardware Property Checking Acceleration.” Identities and contacts are withheld for double‑blind review. The Excel includes the detailed experimental results in Figure 7 and Table 3.
提供机构：
Group, LLMAbstractor
创建时间：
2025-11-17
