Journal of Applied Mathematics / 2014 / Article / Tab 1

Research Article

Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions

Table 1

Polynomial model for arithmetic operation.

Arithmetic operationPolynomial representation


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