Behavioral Test Generation for the Selection of BIST Logic