An Algebraic Approach to Verifying Galois-Field Arithmetic Circuits with Multiple-Valued Characteristics

Akira Ito, Rei Ueno, Naofumi Homma. An Algebraic Approach to Verifying Galois-Field Arithmetic Circuits with Multiple-Valued Characteristics. IEICE Trans. Inf. Syst., 104-D(8):1083-1091, 2021. [doi]

Abstract

Abstract is missing.