Property-based testability analysis for hierarchical RTL designs | IEEE Conference Publication | IEEE Xplore