ChiSA: Static Analysis for Lightweight Chisel Verification. - Jiacai Cui; Qinlin Chen; Zhongsheng Zhan; Tian Tan 001; Yue Li 006 (Proc. ACM Program. Lang., 2026)