SYNTEST: an environment for system-level design for test | IEEE Conference Publication | IEEE Xplore