TIC TAC TOE Snapshot generation using SystemVerilog constraints

SystemVerilog
6

In reply to sohan_b:

This may not be correct. Problem is that it is possible to make a winning move that will cause 2 winning positions.
For example, this is a valid end position
X 0 0
X X 0
X 0 X