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. (2026). Exploiting Sophisticated Static Analysis for Verilog. Proceedings of the ACM on Programming Languages, 10(PLDI), 1327-1355. https://doi.org/10.1145/3808300
Download Paper | Download Bibtex