Formal Approach for Verifying Galois Field Arithmetic Circuits of Higher Degrees

DOI10.1109/TC.2016.2603979zbMath1364.94795OpenAlexW2508860103MaRDI QIDQ5346081

Naofumi Homma, Yukihiro Sugawara, Rei Ueno, Takafumi Aoki

Publication date: 8 June 2017

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tc.2016.2603979

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Analytic circuit theory (94C05)

This page was built for publication: Formal Approach for Verifying Galois Field Arithmetic Circuits of Higher Degrees