A novel combinational testability analysis by considering signal correlation