进位保留加法器的命题投影时序逻辑组合验证

• 作者: 张南 段振华
• 来源期刊: 西安电子科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 时序逻辑 组合验证 进位保留加法器 超前进位加法器
• 年，卷（期）: 2012,（5）
• 页码范围: 192-196
• 页数: 5页
• 分类号: TP301
• 字数: 2844字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2012.05.032

摘要

为保证硬件设计的正确性,提出了对硬件设计组合验证的新方法.该方法在命题投影时序逻辑的统一框架下,实现对硬件系统行为的建模,对所期望性质的形式化描述,并利用命题投影时序逻辑合理且完备的公理系统对系统性质进行验证,从而证明硬件系统满足期望的性质,保证设计的正确性.进位保留加法器的验证实例说明了该方法的可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	段振华	西安电子科技大学计算理论与技术研究所	47	363	10.0	16.0
5	张南	西安电子科技大学计算理论与技术研究所	5	11	2.0	3.0