Test generation for synchronous sequential circuits to reduce storage requirements | IEEE Conference Publication | IEEE Xplore