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

张欢欢; 邵志清; 宋国新

张欢欢, 邵志清, 宋国新. 基于重写归纳技术的串行加法器的描述和验证[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.

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

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

摘要

摘要: 在用重写系统描述逻辑位，门电路，位串和自然数的基础上，对半加器，全加器和串行加法器等基本硬件电路的逻辑功能进行了刻画，并用基于重写归纳的推理技术证明了所有描述的正确性，为用重写技术正确描述和验证复杂硬件电路奠定了基础。最后给出与其他类似工作的分析和比较。

HTML全文

参考文献(0)

资源附件(0)

/