hardware interrupt subgroup of interrupt, 2 assertions