Conference
Towards Formal Verification for MAC-based In-Memory Computing
| Τίτλος: | Towards Formal Verification for MAC-based In-Memory Computing |
|---|---|
| Συγγραφείς: | Shirinzadeh, Fatemeh, Datta, Kamalika, Shirinzadeh, Saeideh, Kole, Abhoy, Drechsler, Rolf |
| Πηγή: | 2024 IEEE 33rd Asian Test Symposium (ATS) Asian Test Symposium (ATS), 2024 IEEE 33rd. :1-6 Dec, 2024 |
| Relation: | 2024 IEEE 33rd Asian Test Symposium (ATS) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISBN: | 9798331529161 |
|---|---|
| ISSN: | 23775386 |
| DOI: | 10.1109/ATS64447.2024.10915429 |