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
Four Single Neuron Arithmetic Circuits based on SN P Systems with Dendritic Behavior, Astrocyte-like control and rules on the synapses
Sign Up to like & getrecommendations! Published in 2018 at "IEEE Latin America Transactions"
DOI: 10.1109/tla.2018.8291452
Abstract: For the past ten years a new emerging branch of computer science is making unprecedented efforts to create arithmetic circuits based on a new class of parallel computing in order to improve the area consumption… read more here.
Keywords: astrocyte like; single neuron; neuron arithmetic; arithmetic circuits ... See more keywords