Self-Test Libraries Analysis for Pipelined Processors Transition Fault Coverage Improvement