基于SoC的PCL设计和形式验证

摘要	第1-4页
Abstract	第4-7页
第一章 绪论	第7-13页
·背景介绍	第7-8页
·SoC 验证现状	第8-10页
·论文工作概述和篇章安排	第10-13页
第二章 PCL 基本原理	第13-25页
·PAD 概述	第13-15页
·PCL 基本原理	第15-20页
·Pad 控制寄存器（PCL_）	第16-18页
·输入信号多路分离器（IMDX）	第18-19页
·输出信号多路转换器（OMX）	第19页
·方向控制模块（DIRCTL）	第19-20页
·边界扫描	第20-25页
第三章 基于 OneSpin 的形式验证方法	第25-37页
·形式验证方法	第25-28页
·基于 OneSpin 的特征检查	第28-30页
·OneSpin 工具介绍	第30-33页
·特征语言 ITL	第33-37页
第四章 PCL 模块的设计	第37-51页
·基本功能的设计	第37-44页
·输出电路	第38-40页
·输入电路	第40-41页
·控制信号的配置	第41-44页
·设计代码的自动化生成	第44-50页
·复用功能列表	第44-45页
·设计流程优化	第45-48页
·代码自动生成	第48-50页
·小结	第50-51页
第五章 PCL 模块的形式验证	第51-61页
·宏单元定义	第51-53页
·编写 property	第53-57页
·功能模式	第53-55页
·测试模式	第55-57页
·形式验证结果	第57-61页
第六章 总结与展望	第61-63页
致谢	第63-65页
参考文献	第65-67页