Dacota: Post-silicon validation of the memory subsystem in multi-core designs