形式验证在SOC设计中的应用研究

摘要	第1-6页
ABSTRACT	第6-8页
第一章 绪论	第8-16页
·SOC验证存在的挑战	第8-9页
·SOC验证的策略	第9-10页
·形式验证在SOC设计中的应用	第10-12页
·形式验证的优缺点	第12-13页
·论文的研究意义与选题依据	第13-15页
·论文工作概述与安排	第15-16页
第二章 基于ONESPIN的形式验证方法	第16-34页
·ONESPIN图形界面	第16-17页
·一致性检查举例	第17-19页
·等价性检查举例	第19-24页
·ONESPIN中的设计存在形式	第24-26页
·ONESPIN的一些常用命令	第26-34页
第三章 基于ONESPIN的模块验证	第34-46页
·模块验证的流程	第34-35页
·特征检查	第35-40页
·特征语言ITL	第40-46页
第四章 特征检查在工程中的应用	第46-66页
·PCL功能介绍	第46-49页
·编写PROPERTY	第49-55页
·建立特征检查流程	第55-59页
·PCL特征检查	第59-66页
第五章 结束语	第66-68页
致谢	第68-70页
参考文献	第70-72页
附录A	第72-74页
附录B	第74-83页