Analyzing testability from behavioral to RT level | IEEE Conference Publication | IEEE Xplore