RTL到门级网表的等价性验证方法

田素雷; 刘海龙; 刘淑涛

首页> 中文期刊>中国集成电路 >RTL到门级网表的等价性验证方法

RTL到门级网表的等价性验证方法

开具论文收录证明 >>

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

页面导航

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

摘要

等价性验证在ASIC设计中的应用愈发广泛.等价性验证不需要测试向量,能够判断修改前后两个设计功能是否一致,还可以发现设计中的缺陷.针对等价性验证出现的问题,本文重点分析了验证失败的原因以及对应的解决办法,消除了网表使用寄存器QN端以及RTL冗余寄存器引起的验证问题.项目实践表明上述方法在等价性验证中是行之有效的.

著录项

来源
《中国集成电路》|2015年第3期|22-25,60|共5页
作者
田素雷; 刘海龙; 刘淑涛;
展开▼
作者单位

中国电子科技集团公司第54研究所,河北石家庄,050081;

中国电子科技集团公司第54研究所,河北石家庄,050081;

河北远东通信系统工程有限公司,河北石家庄,050081;

展开▼
原文格式 PDF
正文语种 chi
中图分类
关键词
等价性验证; RTL-Gate; ASIC;
入库时间 2022-08-18 03:38:11

相似文献

中文文献
外文文献
专利

1. 一种适用于门级网表的混合式静态功耗优化方法 [J] . 舒毅 ,蔡刚 ,杨海钢 . 电子与信息学报 . 2014,第008期
2. 面向门级网表的VLSI三模冗余加固设计 [J] . 徐冉冉 ,孟海波 ,桂小琰 . 计算机工程与科学 . 2014,第012期
3. RTL和门级结合的处理器时延测试产生方法 [J] . 方红霞 ,李华伟 ,李晓维 . 计算机辅助设计与图形学学报 . 2006,第001期
4. 硬件安全门级细粒度形式化验证方法 [J] . 秦茂源 ,慕德俊 ,胡伟 . 西安电子科技大学学报（自然科学版） . 2018,第005期
5. 基于超图模型的大规模门级网表层次化聚类算法 [J] . 蒿杰 ,彭思龙 . 计算机辅助设计与图形学学报 . 2009,第001期
6. 系统级模型与RTL实现的等价性验证方法 [C] . 曾松伟 ,李光辉 . 第十九届全国测控、计量、仪器仪表学术年会 . 2009
7. 基于ATPG的FPGA网表等价性验证方法研究 [A] . 王志远 . 2017

RTL到门级网表的等价性验证方法

摘要

著录项

相似文献

相关主题

期刊订阅