Verification
Verification
The process of ensuring a design meets its specification through simulation, formal methods, and testing.
Detailed Explanation
Verification answers "did we build the design right?" (vs. validation: "did we build the right design?"). Methods include simulation (test-driven, coverage-driven), formal verification (property checking, equivalence checking), emulation (hardware-accelerated simulation), and FPGA prototyping.
Verification planning identifies what to test and how. Coverage metrics track progress. Bug finding shifts left (earlier is cheaper). Sign-off requires meeting coverage goals and passing regression tests.