Automatic SoC Level Test Path Synthesis Based on Partial Functional Models | IEEE Conference Publication | IEEE Xplore