Inductive Verification of Powerlist-Based Carry Lookahead Adders

ZHANG Huan-huan; SHAO Zhi-qing; SONG Guo-xin

您当前的位置：

首页 >

文章列表页 >

Inductive Verification of Powerlist-Based Carry Lookahead Adders

更新时间：2025-07-16

- Inductive Verification of Powerlist-Based Carry Lookahead Adders
- Acta Electronica Sinica Vol. 31, Issue 6, Pages: 932-936(2003)
- 作者机构：
  
  1. 华东理工大学计算机技术研究所,上海,200237
  2. 中国科学院软件研究所计算机科学重点实验室,北京,100080
  3. 华东理工大学计算机技术研究所上海,200237
  4. 中国科学院软件研究所计算机科学重点实验室北京,100080
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP332
- Published：2003
- 稿件说明：
移动端阅览
ZHANG Huan-huan, SHAO Zhi-qing, SONG Guo-xin. Inductive Verification of Powerlist-Based Carry Lookahead Adders[J]. Acta Electronica Sinica, 2003, 31(6): 932-936.
DOI：

ZHANG Huan-huan, SHAO Zhi-qing, SONG Guo-xin. Inductive Verification of Powerlist-Based Carry Lookahead Adders[J]. Acta Electronica Sinica, 2003, 31(6): 932-936. DOI：

摘要

介绍了基于幂表和重写规则的并行加法器的功能描述

直接使用重写归纳证明技术验证了这些描述的正确性

为重写技术用于描述和验证更加复杂的硬件电路奠定了基础.

Abstract

Based on functional specifications of carry lookahead adders

and it directly uses rewriting induction techniques to establish the correctness of these specifications by proving that they actually implement addition on the natural numbers.A brief comparison with related work is made and the results show that this approach has advantages in specifying and verifying hardware circuits.

关键词

Keywords

references

Views

1071

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Design of Ternary Adiabatic Adder Based on Theory of Three Essential Circuit Elements

Algorithm and Structure Design of Logarithmic Skip Adder

The Design and Application of QCA Full Adder Based on Improved Five-Input Majority Gate

XCFG-Based Analysis and Verification for Data Flow Property of BPEL

Related Author

LI Kun-peng

WANG Peng-jun

任兴田

方娟

侯亚荣

代桂平

王勇

CHEN Zhong-jian

Related Institution

Institute of Circuits and Systems, Ningbo University

College of Computer Science & Technology,Beijing University of Technology

College of Electronic Information & Control Engineering,Beijing University of Technology

Institute of Microelectronics,Peking University

School of Electronic Science and Applied Physics, Hefei University of Technology

⁰