The e Hardware Verification Language (Information Technology

Sasan Iman, S. J. (2007). The e Hardware Verification Language (Information Technology: Transmission, Processing & Storage). Springer.

Type

Book

Intellectual base

Review or monograph

Year

2007

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Hardware verification language
  • HVLs provide concurrency, constrained randomization, temporal assertions, transaction abstraction, functional coverage, interfaces, and testbench organization beyond ordinary hardware description.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:f97028a479c3 · see in the full table