On the functional test of the BTB logic in pipelined and superscalar processors