Research Article
Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions
Table 5
Computation result table.
| Number | Polynomial | GBase | Mem | Time | Return | Result |
| 0 | | | 0.80 M | 0.02 S | | Yes | | | | | | |
| 1 | | | 0.81 M | 0.03 S | | Yes | | | | | | |
| 2 | | | 0.81 M | 0.04 S | | Yes | | | | | | |
| 3 | | | 0.81 M | 0.04 S | | Yes |
| 4 | | | 0.81 M | 0.04 S | | Yes |
| 5 | | | 0.81 M | 0.04 S | | Yes |
|
|