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]

@article{ItoUH21-1,
  title = {An Algebraic Approach to Verifying Galois-Field Arithmetic Circuits with Multiple-Valued Characteristics},
  author = {Akira Ito and Rei Ueno and Naofumi Homma},
  year = {2021},
  doi = {10.1587/transinf.2020lop0004},
  url = {https://doi.org/10.1587/transinf.2020lop0004},
  researchr = {https://researchr.org/publication/ItoUH21-1},
  cites = {0},
  citedby = {0},
  journal = {IEICE Trans. Inf. Syst.},
  volume = {104-D},
  number = {8},
  pages = {1083-1091},
}