Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry

✍ Scribed by Lvov, Alexey; Lastras-Montaño, Luis A.; Trager, Barry; Paruthi, Viresh; Shadowen, Robert; El-Zein, Ali

• Book ID: 125360348
• Publisher: Springer
• Year: 2014
• Tongue: English
• Weight: 836 KB
• Volume: 45
• Category: Article
• ISSN: 0925-9856
• DOI: 10.1007/s10703-014-0206-z