Popular question: https://verificationacademy.com/forums/t/tic-tac-toe-snapshot-generation-using-systemverilog-constraints/34475