高级检索

  • ISSN 1006-3080
  • CN 31-1691/TQ

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

张欢欢 邵志清 宋国新

张欢欢, 邵志清, 宋国新. 基于重写归纳技术的串行加法器的描述和验证[J]. 华东理工大学学报(自然科学版), 2003, (1): 59-63.
引用本文: 张欢欢, 邵志清, 宋国新. 基于重写归纳技术的串行加法器的描述和验证[J]. 华东理工大学学报(自然科学版), 2003, (1): 59-63.
Specification and Verification of Ripple Carry Adders Based on Rewriting Induction Techniques[J]. Journal of East China University of Science and Technology, 2003, (1): 59-63.
Citation: Specification and Verification of Ripple Carry Adders Based on Rewriting Induction Techniques[J]. Journal of East China University of Science and Technology, 2003, (1): 59-63.

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

基金项目: 

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

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

计量
  • 文章访问数:  909
  • HTML全文浏览量:  68
  • PDF下载量:  83
  • 被引次数: 0
出版历程

目录

    /

    返回文章
    返回