Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions

Table 6

Computation result table.

Number	Polynomial	GBase	Mem	Time	Return	Result
0	{𝑚1[1]}	1∉𝐶𝐺𝐵	0.80 M	0.02 S	0	Yes
	{𝑚2[1]}	1∉𝐶𝐺𝐵			0
	{𝑚3[1]−1}	1∉𝐶𝐺𝐵			0
1	{𝑚1[2]}	1∉𝐶𝐺𝐵	0.81 M	0.03 S	0	Yes
	{𝑚2[2]−1}	1∉𝐶𝐺𝐵			0
	{𝑚3[2]−1}	1∉𝐶𝐺𝐵			0
2	{𝑚1[3]−1}	1∉𝐶𝐺𝐵	0.81 M	0.14 S	0	NO
	{𝑚2[3]−1}	1∉𝐶𝐺𝐵			0
	{𝑚3[3]}	1∉𝐶𝐺𝐵			−1