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

PDF(265 KB)

电子学报 ›› 2003, Vol. 31 ›› Issue (6) : 932-936.

论文

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

作者信息 +

Inductive Verification of Powerlist-Based Carry Lookahead Adders

Author information +

文章历史 +

导出引用

{{article.zuoZheCn_L}}. {{article.title_cn}}[J]. {{journal.qiKanMingCheng_CN}}, 2003, 31(6): 932-936.

{{article.zuoZheEn_L}}. {{article.title_en}}[J]. Acta Electronica Sinica, 2003, 31(6): 932-936.

中图分类号：

原文顺序 | 文献年度倒序 | 文中引用次数倒序

PDF(265 KB)

Accesses

Citation

Detail

国家自然科学基金(No.69903004);教育部优秀青年教师资助计划;教育部科学技术研究重点项目(No.01077)

段落导航