RTL验证中的混合可满足性求解

邓澍军; 吴为民; 边计年

首页> 中文期刊> 《计算机辅助设计与图形学学报》 >RTL验证中的混合可满足性求解

RTL验证中的混合可满足性求解

AI论文写作 >>

开具论文收录证明 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

RTL混合可满足性求解方法分为基于可满足性模理论(SMT)和基于电路结构搜索两大类.前者主要使用逻辑推理的方法,目前已在处理器验证中得到了广泛的应用,主要得益于SMT支持用于描述验证条件的基础理论;后者能够充分地利用电路中的约束信息,因而求解效率较高.介绍了每一大类中的典型研究及其所采用的重要策略,以及RTL可满足性求解方面的研究进展.

著录项

来源
《计算机辅助设计与图形学学报》 |2007年第3期|273-278,285|共7页
作者
邓澍军; 吴为民; 边计年;
展开▼
作者单位

清华大学计算机科学与技术系,北京,100084;

清华大学计算机科学与技术系,北京,100084;

清华大学计算机科学与技术系,北京,100084;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
形式验证; 寄存器传输级; 可满足性; 可满足性模理论;

相似文献

中文文献
外文文献
专利

1. 一种基于混合SAT求解器的RTL验证方法 [J] . 葛海通 ,翁延玲 ,严晓浪 . 浙江大学学报（工学版） . 2010,第002期
2. 采用二元CSP引擎求解RTL数据通路的可满足性 [J] . 吴为民 . 计算机辅助设计与图形学学报 . 2009,第004期
3. 基于线性规划的RTL可满足性求解和性质检验 [J] . 郑伟伟 ,吴为民 ,边计年 . 计算机辅助设计与图形学学报 . 2006,第004期
4. 可满足性求解方法在 SoC 验证和测试中的应用 [J] . 孙强 . 牡丹江师范学院学报（自然科学版） . 2015,第004期
5. 利用SMT约束分解方法求解RTL可满足性问题 [J] . 赵燕妮 ,边计年 ,邓澍军 . 计算机辅助设计与图形学学报 . 2010,第002期
6. RTL验证中的混合可满足性求解 [C] . 邓澍军 ,吴为民 ,边计年 . 第四届中国测试学术会议 . 2006
7. 基于增量式可满足性求解的安全协议形式化验证方法 [A] . 武涛 . 2009

RTL验证中的混合可满足性求解

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅