Assertion: computer's design | /r/HasProperty | tested
Facets:
Source sentences:
text: Once the design validation process starts, the design at the logic level are tested using logic emulators.