Journal of Applied Mathematics / 2014 / Article / Tab 4

Research Article

Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions

Table 4

Polynomial forms.

NamePreconditionExpected consequent

JCPA
cycle 1
cycle 2
cycle 3

JCP1 }

JCP2 }

JCP3 }

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