Applying Probability and Statistics to Digital Logic Design
You've mastered the statistical model of FSM brute-forcing!