An optimum algorithm for compacting error traces for efficient functional debugging | IEEE Conference Publication | IEEE Xplore