文摘
英文文摘
声明
第一章引言
1.1课题研究的背景
1.2课题研究的问题
1.3课题研究的工作
第二章基于断言的验证技术
2.1断言验证技术
2.2基于Specman Elite验证平台的简介
2.3基于断言的动态验证平台
2.4断言实现的方式
本章小结
第三章EMI模块验证方案的制定和断言的提取
3.1 EMI模块的介绍
3.2 EMI模块的功能验证方案
3.3在EMI模块中插入特性检查断言
3.4在EMI模块中插入覆盖检查断言
本章小结
第四章基于断言的EMI验证环境的构建和运行
4.1 EMI模块验证环境的构建
4.2基于断言的EMI模块验证环境的运行
本章小结
第五章EMI模块仿真验证结果分析
5.1 EMI模块验证结果分析
5.2 EMI模块验证的设计错误总结
5.3功能覆盖率分析
本章小结
第六章总结和展望
6.1总结
6.2展望
致谢
参考文献
作者简介
东南大学;