Fuyue (符钺)

A Full-Stack Program Analysis Platform for Chisel (Not Yet Released)

Thank you for visiting this page.

Fuyue is currently under active development and has not yet been publicly released. The ChiSA (Cui et al., 2026) paper, along with its open artifact, represents an initial component of Fuyue. These materials provide a glimpse into the project’s development state and preliminary capabilities prior to 2026.

I am continuing to improve Fuyue toward a mature release that supports broader usage and welcomes external contributions. I look forward to sharing Fuyue with the community once it is ready. :)


References

2026

  1. 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