电子学报2003，Vol.31Issue(6)：932-936,5.
基于幂表的并行加法器的归纳验证
Inductive Verification of Powerlist-Based Carry Lookahead Adders
摘要
关键词
重写/归纳/加法器/描述/验证分类
信息技术与安全科学引用本文复制引用
张欢欢,邵志清,宋国新..基于幂表的并行加法器的归纳验证[J].电子学报,2003,31(6):932-936,5.基金项目
国家自然科学基金(No.69903004) （No.69903004）
教育部优秀青年教师资助计划 （）
教育部科学技术研究重点项目(No.01077) （No.01077）
