Computer aided test synthesis for a parallel scan design of finite state sequential machines | IEEE Conference Publication | IEEE Xplore