E-QED: Electrical Bug Localization During Post-silicon Validation Enabled by Quick Error Detection and Formal Methods.

Eshan Singh, Clark W. Barrett, Subhasish Mitra

Browse the full CAV paper archive.