| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 第一章 绪论 | 第9-13页 |
| ·ASIC 开发面临的问题 | 第9-11页 |
| ·课题来源 | 第11-12页 |
| ·论文内容及章节安排 | 第12-13页 |
| 第二章 输入缓存及其验证环境架构简介 | 第13-23页 |
| ·基于排队机制的分组交换结构介绍 | 第13-16页 |
| ·输出排队（Output queuing, OQ） | 第13-14页 |
| ·输入排队（Input queuing, IQ） | 第14-16页 |
| ·联合输入输出排队（CIOQ） | 第16页 |
| ·本文中CIOQ 交换网络的划分及功能简介 | 第16-17页 |
| ·输入缓存（SMi） | 第17页 |
| ·功能简介 | 第17页 |
| ·SMi 验证环境架构 | 第17-23页 |
| ·PB 平台 | 第17-18页 |
| ·SMi 的验证TestBench | 第18-20页 |
| ·三类不同组件在PB 环境中的交互 | 第20-23页 |
| 第三章 Generator 组件 | 第23-29页 |
| ·CellGen 激励模块介绍 | 第23-27页 |
| ·信元数据结构描述 | 第23-24页 |
| ·信元激励数据的产生 | 第24-26页 |
| ·BpProc 模块 | 第26-27页 |
| ·其它激励模块的介绍 | 第27-29页 |
| 第四章 BFM、Monitor 组件 | 第29-37页 |
| ·MPI_BFM | 第29-30页 |
| ·MPI_BFM 接口时序 | 第29页 |
| ·环境接口 | 第29页 |
| ·MPI_BFM 功能介绍 | 第29-30页 |
| ·TM_BFM | 第30-31页 |
| ·环境接口 | 第30-31页 |
| ·TM_BFM 功能介绍 | 第31页 |
| ·INSERT_BP_BFM | 第31-32页 |
| ·环境接口 | 第31页 |
| ·INSERT_BP_BFM 接口时序 | 第31页 |
| ·INSERT_BP_BFM 功能 | 第31-32页 |
| ·QUE_BP_BFM 和LINK_STA_BFM | 第32-33页 |
| ·QUE_BP_BFM 功能说明 | 第32-33页 |
| ·LINK_STA_BFM 功能说明 | 第33页 |
| ·GRANT_BFM | 第33-34页 |
| ·GRANT_BFM 接口时序 | 第33页 |
| ·GRANT_BFM 功能说明 | 第33-34页 |
| ·LINK_BFM_RX | 第34-36页 |
| ·环境接口 | 第34页 |
| ·LINK_BFM_RX 功能 | 第34-36页 |
| ·SD_MONITOR | 第36-37页 |
| 第五章 C++组件 | 第37-45页 |
| ·IngSMEnv 组件综述 | 第38页 |
| ·CIngSMEnv 类介绍 | 第38-41页 |
| ·mbRM 方法描述 | 第39页 |
| ·mbChecker 方法描述 | 第39-40页 |
| ·mbRegRefresh 方法描述 | 第40-41页 |
| ·CIngScb 类 | 第41页 |
| ·CIngPreProc 类 | 第41-45页 |
| ·mbIngPreProc 方法描述 | 第41-42页 |
| ·mbCellProc 方法 | 第42-43页 |
| ·mbInsertBPProc 方法 | 第43-45页 |
| 第六章 Checker 组件 | 第45-65页 |
| ·Checker 组件总体结构 | 第45-46页 |
| ·CIngAnaCore 类功能 | 第46-47页 |
| ·C10BDeCoder 类功能 | 第47-49页 |
| ·CCellParse 类功能 | 第49-51页 |
| ·CDataAna 类功能 | 第51-62页 |
| ·验证工作中的其它考虑 | 第62-65页 |
| 第七章 结束语 | 第65-67页 |
| 致谢 | 第67-69页 |
| 参考文献 | 第69-72页 |
| 研究成果 | 第72-73页 |
| 附录A PLI 接口任务和API 函数 | 第73-75页 |
| 附录B 各方法中常用端口参数说明 | 第75-76页 |