Journal of Applied Mathematics / 2014 / Article / Tab 2

Research Article

Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions

Table 2

Polynomial model for logic operation.

Arithmetic operationPolynomial representation


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