A structured approach to post-silicon validation and debug using symbolic quick error detection | IEEE Conference Publication | IEEE Xplore