Test generation of C-testable array dividers | IEEE Conference Publication | IEEE Xplore