基于幂表的并行加法器的归纳验证
张欢欢;邵志清;宋国新
Inductive Verification of Powerlist-Based Carry Lookahead Adders
ZHANG Huan-huan;SHAO Zhi-qing;SONG Guo-xin
电子学报 . 2003, (6): 932 -936 .