Jinpeng Lv, Priyank Kalla, Florian Enescu. Efficient Gröbner basis reductions for formal verification of galois field multipliers. In Wolfgang Rosenstiel, Lothar Thiele, editors, 2012 Design, Automation & Test in Europe Conference & Exhibition, DATE 2012, Dresden, Germany, March 12-16, 2012. pages 899-904, IEEE, 2012. [doi]
@inproceedings{LvKE12,
title = {Efficient Gröbner basis reductions for formal verification of galois field multipliers},
author = {Jinpeng Lv and Priyank Kalla and Florian Enescu},
year = {2012},
url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6176625},
researchr = {https://researchr.org/publication/LvKE12},
cites = {0},
citedby = {0},
pages = {899-904},
booktitle = {2012 Design, Automation & Test in Europe Conference & Exhibition, DATE 2012, Dresden, Germany, March 12-16, 2012},
editor = {Wolfgang Rosenstiel and Lothar Thiele},
publisher = {IEEE},
isbn = {978-1-4577-2145-8},
}