Formal Approach for Verifying Galois Field Arithmetic Circuits of Higher Degrees
Sign Up to like & getrecommendations! Published in 2017 at "IEEE Transactions on Computers"
DOI: 10.1109/tc.2016.2603979
Abstract: This paper presents an efficient approach to verifying higher-degree Galois-field (GF) arithmetic circuits. The proposed method describes GF arithmetic circuits using a mathematical graph-based representation and verifies them by a combination of algebraic transformations and… read more here.
Keywords: method; field arithmetic; proposed method; approach verifying ... See more keywords