Rapid-fire questions an interviewer asks around Functional Coverage Puzzles. Answer out loud, then check yourself.
Answer: Confirm scored denominator construction: which bins are legal, ignored, illegal, default, and thresholded by at_least. Wrong denominator means misleading percentages.
Trap: Jumping directly to percentages without verifying which bins are actually scored.
Answer: Candidates forget these filters reshape tuple space. You must compute filtered scored bins first, then map sampled tuples to that reduced denominator.
Trap: Using raw Cartesian product math even after explicit binsof/intersect filtering.
Answer: get_coverage reports aggregate type-level status, while get_inst_coverage reports one instance. Use both to avoid hiding weak instances behind strong aggregates.
Trap: Treating a high aggregate as proof that every instance is healthy.
Answer: First prove reachability, then verify sampling timing/region, then inspect option thresholds and weights, and only then scale stimulus.
Trap: Adding random tests first instead of checking for unreachable bins or timing-model bugs.