Practical Design Verification