Efficient Gröbner basis reductions for formal verification of galois field multipliers - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Efficient Gröbner Basis Reductions for Formal Verification of Galois Field Arithmetic CircuitsJinpeng Lv, Priyank Kalla, Florian Enescu. tcad, 32(9):1409-1420, 2013. [doi]

Formal Verification of Galois Field Multipliers Using Computer Algebra TechniquesJinpeng Lv, Priyank Kalla. vlsid 2012: 388-393 [doi]

runs on WebDSL