Detect and eliminate static-1 and static-0 hazards using K-map hazard-cover groups
A static hazard is a brief unwanted glitch — the output momentarily takes the wrong value during a transition between two input states that should both produce the same output. Even though the final value is correct, the glitch can clock downstream flip-flops.
On a K-map, a static-1 hazard occurs when two adjacent 1-groups are not covered by a single spanning group. Add a hazard-cover group bridging them — adds a redundant product term but eliminates the glitch.