声明
插图索引
表格索引
符号对照表
缩略语对照表
第一章 绪论
1.1课题背景及意义
1.2可配置逻辑块与全定制电路验证技术发展
1.3本文主要目的与工作
1.4本文章节安排
第二章 FPGA中CLB模块的功能与配置研究
2.1 FPGA内部结构
2.2可编程逻辑块结构
2.3 SLICEL与SLICEM结构
2.4可编程逻辑块多种工作模式与功能分析
2.5 CLB模块配置研究
2.6本章小结
第三章 CLB建模与验证方案设计
3.1验证方法的确立与网表提取
3.2建立功能模型与等价性检查
3.3验证计划与CLB功能点提取
3.4 CLB验证方案
3.5本章小结
第四章 验证平台框架设计与具体实现
4.1验证框架结构设计
4.2验证平台具体实现策略与开发
4.3覆盖率组件建模
4.4组件内部连接与自动化
4.5 MPW平台的实现与平台高复用性
4.6本章小结
第五章 验证结果与分析
5.1仿真工具与编译仿真选项
5.2功能验证
5.3覆盖率分析
5.4本章小结
第六章 总结与展望
6.1总结
6.2展望
参考文献
致谢
作者简介
西安电子科技大学;