Assertion: current instruction | /r/HasProperty | executed
Facets:
Source sentences:
text: In a processor where the incrementation precedes the fetch, the PC points to the current instruction being executed.