input pulse subgroup of pulse, 1 assertions