Automated area and coverage optimization of minimal latency checkers | IEEE Conference Publication | IEEE Xplore