مؤتمر
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 |
Full Text Finder | ردمك: | 9798350309270 9798350309263 |
|---|---|
| تدمد: | 19483295 |
| DOI: | 10.1109/ISQED60706.2024.10528697 |