thank you for the reply.
Maybe it is interesting question.
In the verification, We hope that the design can be proved to be correct.
yes,for adjacent 2 transitions, there are 65536 possible transitions.
Exhaustive test is not good method.
But I want to know if the 65536 possible transitions is correct.
Maybe there are better methods.
For your point, can you give me some methods?