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. (Accepted, to Appear) , Jan 2026 DOI PDF Supp Code Slides