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

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]

This author has not been identified. Look up 'Jinpeng Lv' in GoogleThis author has not been identified. Look up 'Priyank Kalla' in GoogleThis author has not been identified. Look up 'Florian Enescu' in Google

runs on WebDSL