Using high-level primitives to speed up circuit partitioning in a mixed scan and non-scan environment for system level test generation | IEEE Conference Publication | IEEE Xplore