[IEEE 2012 Design, Automation & Test in
✦ LIBER ✦
[IEEE 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE 2012) - Dresden (2012.03.12-2012.03.16)] 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Efficient Gröbner basis reductions for formal verification of galois field multipliers
✍ Scribed by Jinpeng Lv, ; Kalla, P.; Enescu, F.
- Book ID
- 126826009
- Publisher
- IEEE
- Year
- 2012
- Weight
- 127 KB
- Category
- Article
- ISBN
- 3981080181
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
[IEEE 2012 Design, Automation & Test in
✍
Nicolaidis, M.; Anghel, L.; Zergainoh, N-E; Zorian, Y.; Karnik, T.; Bowman, K.;
📂
Article
📅
2012
🏛
IEEE
⚖ 202 KB
[IEEE 2012 Design, Automation & Test in
✍
Sotomayor Torres, C. M.; Ahopelto, J.; Graef, M. W. M.; Popp, R. M.; Rosenstiel,
📂
Article
📅
2012
🏛
IEEE
⚖ 559 KB
[IEEE 2012 Design, Automation & Test in
✍
Tetzlaff, R.; Bruening, A.
📂
Article
📅
2012
🏛
IEEE
⚖ 126 KB
[IEEE 2012 Design, Automation & Test in
✍
Katz, Y.; Rimon, M.; Ziv, A.
📂
Article
📅
2012
🏛
IEEE
⚖ 98 KB
[IEEE 2012 Design, Automation & Test in
✍
Chakraborty, S.; Lukasiewycz, M.; Buckl, C.; Fahmy, S.; Naehyuck Chang, ; Sangyo
📂
Article
📅
2012
🏛
IEEE
⚖ 468 KB