Journal of Applied Mathematics / 2014 / Article / Tab 5

Research Article

Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions

Table 5

Computation result table.

NumberPolynomialGBaseMemTimeReturnResult

0 0.80 M0.02 S Yes

1 0.81 M0.03 S Yes

2 0.81 M0.04 S Yes

3 0.81 M0.04 S Yes

4 0.81 M0.04 S Yes

5 0.81 M0.04 S Yes

Article of the Year Award: Outstanding research contributions of 2020, as selected by our Chief Editors. Read the winning articles.