Rei Ueno

Formal Design of Pipelined GF Arithmetic Circuits and Its Application to Cryptographic Processors

2016

This study presents a formal approach to designing pipelined arithmetic circuits over Galois fields (GFs). The proposed method extends a graph-based circuit description known as a Galois-field arithmetic circuit graph (GF-ACG) to Linear-time Temporal Logic …