A Formalism for Description and Synthesis of Logical Algorithms and their Hardware Implementation | IEEE Journals & Magazine | IEEE Xplore