2026 POPL 2026 ChiSA: Static Analysis for Lightweight Chisel Verification Jiacai Cui, Qinlin Chen, Zhongsheng Zhan, Tian Tan*, and Yue Li* 53rd ACM SIGPLAN Symposium on Principles of Programming Languages, Rennes, France, Jan 2026 DOI PDF Supp Video Code Slides Qihe Project Qihe: A General-Purpose Static Analysis Framework for Verilog Qinlin Chen, Nairen Zhang, Jinpeng Wang, Jiacai Cui, Tian Tan*, Xiaoxing Ma, Chang Xu, Jian Lu, and Yue Li* Jan 2026 arXiv PDF
