Hardware verification
Redirect to:
Electronic design automation#Analysis and verification