A hierarchical test pattern generation system based on high-level primitives | IEEE Journals & Magazine | IEEE Xplore