Inversion Path Animator
Work backward from Q4 to identify the embedded assumptions that block the current design from reaching synthesis — then remove them.
How to Use
- Click any path dot to reveal the assumption embedded at that step of the backward path.
- Toggle Constraint removes/restores that assumption — watch the constraint bar shrink.
- When all constraints are removed, the path to Q4 is clear.
- Switch Contradiction cycles through three pre-built examples.
Learning Objective
Apply (Bloom L3) the inversion technique to identify assumptions blocking Q4 synthesis and evaluate (L5) which assumptions are most constraining and most amenable to change.