AssertMiner: Module-Level Spec Generation and Assertion Mining using Static Analysis Guided LLMs.

Hongqin Lyu, Yonghao Wang, Jiaxin Zhou, Zhiteng Chao, Tiancheng Wang, Huawei Li

Browse the full ASPDAC paper archive.