Assertion: hdl description | /r/CapableOf | pass design verification
Facets:
Source sentences:
text: Simulation allows an HDL description of a design (called a model) to pass design verification, an important milestone that validates the design's intended function (specification) against the code implementation in the HDL description.