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