External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Eshan Singh, Clark W. Barrett, Subhasish Mitra. E-QED: Electrical Bug Localization During Post-silicon Validation Enabled by Quick Error Detection and Formal Methods. In Rupak Majumdar, Viktor Kuncak, editors, Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II. Volume 10427 of Lecture Notes in Computer Science, pages 104-125, Springer, 2017. [doi]

Authors

Eshan Singh

This author has not been identified. Look up 'Eshan Singh' in Google

Clark W. Barrett

This author has not been identified. Look up 'Clark W. Barrett' in Google

Subhasish Mitra

This author has not been identified. Look up 'Subhasish Mitra' in Google
runs on