A Formal Verification of Sequential GF(2m) Arithmetic Datapaths using Temporal-logic-based Formalization. - Kazuho Sakoda; Yasuyoshi Uemura; Naofumi Homma (ISMVL, 2026)