一种基于混合SAT求解器的RTL验证方法

葛海通; 翁延玲; 严晓浪

首页> 中文期刊> 《浙江大学学报：工学版》 >一种基于混合SAT求解器的RTL验证方法

一种基于混合SAT求解器的RTL验证方法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

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

摘要

为了提高集成电路验证系统的性能,提出一种面向Verilog描述的寄存器传输级(RTL)电路验证方法.该方法将验证问题转化为RTL可满足性问题,并采用基于混合布尔可满足性问题(SAT)的求解器.与传统方法相比,其综合引擎取消了算术电路逻辑的实现,保留了电路特性及其优化信息.因为所需的待验证模型的抽象层次较高,综合系统所花的综合时间较少,尤其是验证引擎不需要处理较低级别的验证细节,由此大大提升了系统性能.不同规模的加法器实验结果表明,基于混合SAT引擎的RTL验证流程较传统流程有明显优势,对复杂电路的验证时间甚至可减少99%.

著录项

来源
《浙江大学学报：工学版》 |2010年第2期|289-293|共5页
作者
葛海通; 翁延玲; 严晓浪;
展开▼
作者单位

浙江大学超大规模集成电路设计研究所;

展开▼
原文格式 PDF
正文语种 chi
中图分类大规模集成电路、超大规模集成电路;
关键词
集成电路设计; 逻辑综合; 等价性验证; 混合SAT求解器;

相似文献

中文文献
外文文献
专利

1. 一种基于SAT求解器的组合电路重汇聚现象分析方法 [J] . 张璐婕 ,刘畅 ,张龙 . 计算机科学 . 2019,第004期
2. 基于不完全算法的并行FPGA SAT求解器 [J] . 黎铁军 ,马柯帆 ,张建民 . 计算机工程与科学 . 2021,第012期
3. 基于学习子句删除策略的SAT求解器分支策略 [J] . 王钇杰 ,徐扬 ,吴贯锋 . 计算机科学 . 2021,第011期
4. 基于奖励机制的SAT求解器分支策略 [J] . 沈雪 ,陈树伟 ,艾森阳 . 计算机科学 . 2020,第007期
5. 基于回跳层数的SAT求解器学习子句删除策略 [J] . 沈雪 ,陈树伟 ,徐扬 . 计算机应用研究 . 2020,第011期
6. 一种基于数模混合MCU设计的仿真验证方法 [C] . 冯美 ,李平 ,杜涛 . 四川省电子学会半导体与集成技术专委会2006年度学术年会 . 2006
7. 基于矛盾体分离的多元动态自动演绎推理的SAT求解器及其应用研究 [A] . 常文静 . 2019

一种基于混合SAT求解器的RTL验证方法

摘要

著录项

相似文献

相关主题

期刊订阅