A novel high level testability synthesis method based on PSA | IEEE Conference Publication | IEEE Xplore