Xiaojun Sun, Priyank Kalla, Tim Pruss, Florian Enescu
Formal verification of sequential Galois field arithmetic circuits using algebraic geometry
DATE, 2015.
@inproceedings{DATE-2015-SunKPE,
acmid = "2757189",
author = "Xiaojun Sun and Priyank Kalla and Tim Pruss and Florian Enescu",
booktitle = "{Proceedings of the 19th Conference and Exhibition on Design, Automation and Test in Europe}",
isbn = "978-3-9815370-4-8",
pages = "1623--1628",
publisher = "{ACM}",
title = "{Formal verification of sequential Galois field arithmetic circuits using algebraic geometry}",
year = 2015,
}