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

DOI10.1007/s10703-014-0206-zzbMath1303.94146OpenAlexW1984603142MaRDI QIDQ479832

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

Publication date: 5 December 2014

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-014-0206-z

zbMATH Keywords

formal verificationBuchberger algorithmerror correcting circuitsGalois finite fields

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Analytic circuit theory (94C05) Decoding (94B35)

Uses Software

• SINGULAR
• BLUEVERI
• STABLE

Cites Work

• Graph-Based Algorithms for Boolean Function Manipulation
• Formal Methods in Computer-Aided Design
• Unnamed Item
• Unnamed Item

This page was built for publication: Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry