Dakui Li

According to our database, Dakui Li authored at least 3 papers between 2013 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2014

Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions.

Ning Zhou, Xinyan Gao, Jinzhao Wu, Jianchao Wei, Dakui Li

J. Appl. Math., 2014

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

2013

Wu's Characteristic Set Method for SystemVerilog Assertions Verification.

Xinyan Gao, Ning Zhou, Jinzhao Wu, Dakui Li

J. Appl. Math., 2013