A structured approach to post-silicon validation and debug using symbolic quick error detection.

David Lin, Eshan Singh, Clark W. Barrett, Subhasish Mitra

Browse the full ITC paper archive.