مؤتمر
Post-Verification Debugging and Rectification of Finite Field Arithmetic Circuits using Computer Algebra Techniques
| العنوان: | Post-Verification Debugging and Rectification of Finite Field Arithmetic Circuits using Computer Algebra Techniques |
|---|---|
| المؤلفون: | Rao, Vikas, Gupta, Utkarsh, Ilioaea, Irina, Srinath, Arpitha, Kalla, Priyank, Enescu, Florian |
| المصدر: | 2018 Formal Methods in Computer Aided Design (FMCAD) Formal Methods in Computer Aided Design (FMCAD), 2018. :1-9 Oct, 2018 |
| Relation: | 2018 Formal Methods in Computer Aided Design (FMCAD) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
| ردمك: | 9780983567882 |
|---|---|
| DOI: | 10.23919/FMCAD.2018.8603018 |