Assertion: trojan | /r/HasProperty | functional
Facets:
Source sentences:
text: A Trojan is functional if the adversary adds or deletes any transistors or gates to the original chip design.