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 |
καταχωρήστε σχόλιο πρώτοι!