def test_counter():
Counter4 = DefineCounter(4, cout=False)
check(Counter4, counter4_sim(), 1 << 4 * 2)
def test_downcounter():
DownCounter4 = DefineDownCounter(4, cout=False)
check(DownCounter4, down_counter4_sim(), 1 << 4 * 2)
def test_lfsr():
n = 8
Johnson8 = DefineJohnson(n=n)
check(Johnson8, johnson_counter(n)(), 3 * n)