Enyuan Tian, Yiwei Ci, Qiusong Yang, Yufeng Li, Zhichao Lyu. AssertSynth: LLM-Based Assertion Synthesis via Multimodal Specification Extraction. In IEEE International Symposium on Circuits and Systems, ISCAS 2026, Shanghai, China, May 24-28, 2026. pages 3371-3375, IEEE, 2026. [doi]
Abstract is missing.