Wu’s Characteristic Set Method for SystemVerilog Assertions Verification

by Xinyan Gao, Ning Zhou, Jinzhao Wu, Dakui Li
Published 2013-01-01

Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions

by Ning Zhou, Xinyan Gao, Jinzhao Wu, Jianchao Wei, Dakui Li
Published 2014-01-01

Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures

by Xinyan Gao, Yingcai Ding, Wenbo Liu, Kaidi Zheng, Siyu Huang, Ning Zhou, Dakui Li
Published 2014-01-01