%0 Journal Article
%T 基于幂表的并行加法器的归纳验证
%A 张欢欢
%A 邵志清
%A 宋国新
%J 电子学报
%P 932-936
%D 2003
%X 介绍了基于幂表和重写规则的并行加法器的功能描述,直接使用重写归纳证明技术验证了这些描述的正确性,为重写技术用于描述和验证更加复杂的硬件电路奠定了基础.
%K 重写
%K 归纳
%K 加法器
%K 描述
%K 验证
%U http://www.ejournal.org.cn/CN/abstract/abstract79.shtml