مؤتمر
An Automated Exhaustive Fault Analysis Technique guided by Processor Formal Verification Methods
العنوان: | An Automated Exhaustive Fault Analysis Technique guided by Processor Formal Verification Methods |
---|---|
المؤلفون: | Kaja, Endri, Gerlin, Nicolas, Zhao, Bihan, Lopera, Daniela Sanchez, Halabi, Jad Al, Khan, Azam Sher, Prebeck, Sebastian, Stoffel, Dominik, Kunz, Wolfgang, Ecker, Wolfgang |
المصدر: | 2024 25th International Symposium on Quality Electronic Design (ISQED) Quality Electronic Design (ISQED), 2024 25th International Symposium on. :1-8 Apr, 2024 |
Relation: | 2024 25th International Symposium on Quality Electronic Design (ISQED) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9798350309270 9798350309263 |
---|---|
تدمد: | 19483295 |
DOI: | 10.1109/ISQED60706.2024.10528697 |