Efficient Symbolic Computation for Word-Level Abstraction From Combinational Circuits for Verification Over Finite Fields | IEEE Journals & Magazine | IEEE Xplore