Assertion list for term "secure execution mode logic".

Results from Ascent++: 1
microprocessor HasAsecure execution mode logic 0.25