Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Ning Zhou, Xinyan Gao, Jinzhao Wu, Jianchao Wei, Dakui Li. Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions. J. Applied Mathematics, 2014, 2014. [doi]

The following publications are possibly variants of this publication:

Wu's Characteristic Set Method for SystemVerilog Assertions VerificationXinyan Gao, Ning Zhou, Jinzhao Wu, Dakui Li. jam, 2013, 2013. [doi]

Mechanical geometry theorem proving based on groebner basesJinzhao Wu. jcst, 12(1):10-16, 1997. [doi]

Algebraic Verification Method for SEREs Properties via Groebner Bases ApproachesNing Zhou, Jinzhao Wu, Xinyan Gao. jam, 2013, 2013. [doi]

runs on WebDSL