首页> 中文会议>2016年上海市研究生学术论坛——电子科学与技术 >微处理器流水线内部信号的断言验证

微处理器流水线内部信号的断言验证

页面导航

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

摘要

传统的验证方法通常是对设计打入相应的激励,并观察输出波形是否满足预期,这样的验证方法可观察性低,并且不能保证验证的完备性.本论文主要研究基于OVL的断言验证,将断言技术与微处理器流水线验证相结合,在RTL中插入断言监视器来监测微处理器流水线的内部关键信号是否满足预期.使用断言技术与动态仿真相结合,最后结果表明本论文采用的验证技术可以大大的提高验证效率,保证验证的真实性和可靠性.

著录项

来源
《2016年上海市研究生学术论坛——电子科学与技术》|2016年|291-294|共4页
会议地点上海
作者
焦芳; 严伟; 张玥; 严韫瑶;
展开▼
作者单位

上海市学位委员会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类 TN42:TN407;
关键词
微处理器; 流水线; 内部信号; 断言验证;
入库时间 2022-08-17 11:14:51

相似文献

中文文献
外文文献
专利

1. Leon2微处理器流水线相关验证 [J] . 张杨 ,王竹平 . 现代电子技术 . 2010,第020期
2. Renesas集成Mentor的0-In断言综合用于断言验证流 [J] . . 中国集成电路 . 2005,第5期
3. 瑞萨集成Mentor Graphics 0-In断言综合用于断言验证流 [J] . . 电子设计应用 . 2005,第5期
4. OVL断言验证库的ARINC429通讯板卡设计验证 [J] . 周德新 ,李珊 . 计算机工程与设计 . 2010,第010期
5. 断言验证技术在IP核验证中的应用 [J] . 邓在辉 ,丁莎 . 毕节学院学报 . 2008,第004期
6. 微处理器流水线前端的设计与验证 [C] . Zhu Chengbo ,朱成博 ,Sun Caixia . 第十五届计算机工程与工艺年会暨第一届微处理器技术论坛 . 2011
7. 基于断言的形式化验证与UVM的综合应用 [A] . 张瑞 . 2018

微处理器流水线内部信号的断言验证

摘要

著录项

相似文献

相关主题

期刊订阅