Design verification checks whether:

Explanation:

Verification ensures design input is met.