Formal verification of sequential Galois field arithmetic circuits using algebraic geometry - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xiaojun Sun, Priyank Kalla, Tim Pruss, Florian Enescu. Formal verification of sequential Galois field arithmetic circuits using algebraic geometry. In Wolfgang Nebel, David Atienza, editors, Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015. pages 1623-1628, ACM, 2015. [doi]

This author has not been identified. Look up 'Xiaojun Sun' in GoogleThis author has not been identified. Look up 'Priyank Kalla' in GoogleThis author has not been identified. Look up 'Tim Pruss' in GoogleThis author has not been identified. Look up 'Florian Enescu' in Google

runs on WebDSL