Assertion: hdl description | /r/HasSubevent | an array of automated checkers
Facets:
value: in preparation for synthesis
type: PURPOSE
Source sentences:
text: In preparation for synthesis, the HDL description is subject to an array of automated checkers.