proc counter() -> Logic<8> { reg count = 8'0; // TODO: no addition yet :( next count = count ^ 1; count }