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]
@inproceedings{Velev014-1, title = {Improving the efficiency of automated debugging of pipelined microprocessors by symmetry breaking in modular schemes for boolean encoding of cardinality}, author = {Miroslav N. Velev and Ping Gao 0002}, year = {2014}, url = {http://dl.acm.org/citation.cfm?id=2691502}, researchr = {https://researchr.org/publication/Velev014-1}, cites = {0}, citedby = {0}, pages = {676-683}, booktitle = {The IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2014, San Jose, CA, USA, November 3-6, 2014}, editor = {Yao-Wen Chang}, publisher = {IEEE/ACM}, isbn = {978-1-4799-6277-8}, }