Improving the theory of truth table verification of iterative logic arrays | IEEE Conference Publication | IEEE Xplore