Title: RT level testability imporvement by testability analysis and transformations