Inductive Verification of Powerlist-Based Carry Lookahead Adders

• 基于幂表的并行加法器的归纳验证