Digital Systems Architectures Based on On-line Checkers | IEEE Conference Publication | IEEE Xplore