Thermal Safe High Level Test Synthesis for Hierarchical Testability | IEEE Conference Publication | IEEE Xplore