Miroslav N. Velev, Ping Gao 0002. Improving the efficiency of automated debugging of pipelined microprocessors by symmetry breaking in modular schemes for boolean encoding of cardinality. In Yao-Wen Chang, editor, The IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2014, San Jose, CA, USA, November 3-6, 2014. pages 676-683, IEEE/ACM, 2014. [doi]
Abstract is missing.