Wu's Characteristic Set Method for SystemVerilog Assertions Verification. - Xinyan Gao; Ning Zhou; Jinzhao Wu; Dakui Li (J. Appl. Math., 2013)

Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures. - Xinyan Gao; Yingcai Ding; Wenbo Liu; Kaidi Zheng; Siyu Huang; Ning Zhou; Dakui Li (J. Appl. Math., 2014)

Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions. - Ning Zhou; Xinyan Gao; Jinzhao Wu; Jianchao Wei; Dakui Li (J. Appl. Math., 2014)