Hardware verification and formal methods: Computer Architecture course | Zoonk
42. Hardware verification and formal methods
Check that a hardware design matches its specification across normal and corner cases. Use testbenches, assertions, coverage, equivalence checking, model checking, and constrained-random verification.
