Improving the efficiency of automated debugging of pipelined microprocessors by symmetry breaking in modular schemes for boolean encoding of cardinality.

Miroslav N. Velev, Ping Gao

Browse the full ICCAD paper archive.