Specification and Verification of Ripple Carry Adders Based on Rewriting Induction Techniques

• 基于重写归纳技术的串行加法器的描述和验证