Skip to content

Hardware Verification

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Hardware Verification.

  • E Reuse Methodology — Organize reusable verification components written in the e hardware-verification language through conventions for partitioning, packaging, sequences, messages, configuration, and testbench interoperability.