مؤتمر
Efficient Gröbner basis reductions for formal verification of galois field multipliers
| العنوان: | Efficient Gröbner basis reductions for formal verification of galois field multipliers |
|---|---|
| المؤلفون: | Lv, Jinpeng, Kalla, Priyank, Enescu, Florian |
| المصدر: | 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE) Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012. :899-904 Mar, 2012 |
| Relation: | 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE 2012) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9781457721458 9783981080186 |
|---|---|
| تدمد: | 15301591 15581101 |
| DOI: | 10.1109/DATE.2012.6176625 |