APA (7th ed.) Citation

Wang, Y., Zhou, J., Yin, Y., Lyu, H., Chao, Z., Ding, W., . . . Li, H. (2026). Iterative LLM-Based Assertion Generation Using Syntax-Semantic Representations for Functional Coverage-Guided Verification.

Chicago Style (17th ed.) Citation

Wang, Yonghao, Jiaxin Zhou, Yang Yin, Hongqin Lyu, Zhiteng Chao, Wenchao Ding, Jing Ye, Tiancheng Wang, and Huawei Li. Iterative LLM-Based Assertion Generation Using Syntax-Semantic Representations for Functional Coverage-Guided Verification. 2026.

MLA (9th ed.) Citation

Wang, Yonghao, et al. Iterative LLM-Based Assertion Generation Using Syntax-Semantic Representations for Functional Coverage-Guided Verification. 2026.