Exploiting Sophisticated Static Analysis For Verilog

Recommended citation: Qinlin Chen, Nairen Zhang, Jinpeng Wang, Jiacai Cui, Tian Tan*, Xiaoxing Ma, Chang Xu, Jian Lu, and Yue Li*. Proc. ACM Program. Lang. 10, PLDI, Article 222 (June 2026), 29 pages.
Download Paper | Download Slides | Download Bibtex