Journal of Applied Mathematics / 2014 / Article / Tab 3

Research Article

Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions

Table 3

Table of Johnson counter output.

Counter (clock)

0000
1100
2110
3011
4001
5000

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