Publications

Wenji Fang, Hongce Zhang (2023). WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification. In TACAS.

Ang Li, Chang Wang, Feixia Bao, Wenji Fang, Yuxin Liang, Rui Cheng, Shilong Pan (2023). An Integrated Single-Shot Spectrometer With Large Bandwidth-Resolution Ratio and Wide Operation Temperature Range. In PhotoniX.