Understanding Algebraic Rewriting for Arithmetic Circuit Verification: A Bit-Flow Model | IEEE Journals & Magazine | IEEE Xplore