Electronic Design Verification

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Electronic Design Verification.

• Hardware verification language — A programming or specification language specialized for generating stimuli, modeling environments, expressing assertions and coverage, and checking digital-hardware behavior.