Data-path testability analysis based on BDDs