general purpose microprocessor subgroup of microprocessor, 1 assertions