Boolean Gröbner Basis Reductions on Finite Field Datapath Circuits Using the Unate Cube Set Algebra | IEEE Journals & Magazine | IEEE Xplore