Testability analysis of pipelined data paths