Efficient Gröbner Basis Reductions for Formal Verification of Galois Field Arithmetic Circuits

✍ Scribed by Lv, Jinpeng; Kalla, Priyank; Enescu, Florian

• Book ID: 125845349
• Publisher: IEEE
• Year: 2013
• Tongue: English
• Weight: 363 KB
• Volume: 32
• Category: Article
• ISSN: 0278-0070
• DOI: 10.1109/TCAD.2013.2259540