Digital CMOS VLSI test generation: a divide-and-conquer algorithm | IEEE Conference Publication | IEEE Xplore