| 插图索引 | 第1-11页 |
| 表格索引 | 第11-12页 |
| 摘要 | 第12-14页 |
| ABSTRACT | 第14-17页 |
| 第一章 绪论 | 第17-31页 |
| §1.1 研究背景 | 第17-18页 |
| §1.2 功能验证方法概述 | 第18-22页 |
| §1.3 问题的提出和研究目标 | 第22-23页 |
| §1.4 相关研究 | 第23-27页 |
| §1.5 主要研究内容 | 第27-28页 |
| §1.6 主要工作和研究成果 | 第28-30页 |
| §1.7 论文结构 | 第30-31页 |
| 第二章 基于程序切片的设计化简技术 | 第31-47页 |
| §2.1 引言 | 第31-32页 |
| §2.2 程序切片基本概念 | 第32-35页 |
| §2.3 Verilog进程依赖图 | 第35-37页 |
| §2.4 Verilog中的程序切片 | 第37-44页 |
| §2.5 实验结果 | 第44-46页 |
| §2.6 本章小结 | 第46-47页 |
| 第三章 模拟覆盖率分析技术 | 第47-61页 |
| §3.1 引言 | 第47-48页 |
| §3.2 现有的模拟覆盖率分析方法 | 第48-50页 |
| §3.3 Verilog描述建模方法 | 第50-54页 |
| §3.4 模拟引擎SE | 第54-56页 |
| §3.5 覆盖率测度分析方法 | 第56-57页 |
| §3.6 实验结果与分析 | 第57-60页 |
| §3.7 本章小结 | 第60-61页 |
| 第四章 交互状态机模型模拟矢量自动生成方法 | 第61-72页 |
| §4.1 引言 | 第61-62页 |
| §4.2 二叉决策图 | 第62-64页 |
| §4.3 相关定义 | 第64-66页 |
| §4.4 模拟覆盖率测度生成 | 第66-69页 |
| §4.5 模拟矢量自动生成 | 第69-70页 |
| §4.6 实验结果与分析 | 第70-71页 |
| §4.7 本章小结 | 第71-72页 |
| 第五章 Verilog描述的约束逻辑建模方法 | 第72-88页 |
| §5.1 引言 | 第72页 |
| §5.2 约束逻辑求解技术背景 | 第72-74页 |
| §5.3 位向量算术 | 第74-76页 |
| §5.4 基于CLP的约束生成 | 第76-80页 |
| §5.5 宽数据运算 | 第80-85页 |
| §5.6 数据通路模拟矢量自动生成 | 第85-87页 |
| §5.7 本章小结 | 第87-88页 |
| 第六章 面向HDL描述基于路径覆盖的模拟矢量自动生成方法 | 第88-105页 |
| §6.1 引言 | 第88-89页 |
| §6.2 Verilog描述建模 | 第89-91页 |
| §6.3 DD模型的扩展和提取方法 | 第91-97页 |
| §6.4 基于路径的模拟矢量生成方法 | 第97-103页 |
| §6.5 实验结果与分析 | 第103-104页 |
| §6.6 本章小结 | 第104-105页 |
| 第七章 基于断言的模拟矢量自动生成方法 | 第105-122页 |
| §7.1 引言 | 第105-106页 |
| §7.2 断言概述 | 第106-108页 |
| §7.3 断言目标生成 | 第108-111页 |
| §7.4 模拟矢量自动生成 | 第111-117页 |
| §7.5 进一步讨论 | 第117-119页 |
| §7.6 实验结果与分析 | 第119-121页 |
| §7.7 本章小结 | 第121-122页 |
| 第八章 系统实现 | 第122-134页 |
| §8.1 系统框架 | 第122-123页 |
| §8.2 Verilog编译器 | 第123-126页 |
| §8.3 模型抽取 | 第126-128页 |
| §8.4 系统简介 | 第128-130页 |
| §8.5 验证实例 | 第130-133页 |
| §8.6 本章小结 | 第133-134页 |
| 第九章 PVSim：并行Verilog模拟器 | 第134-147页 |
| §9.1 引言 | 第134页 |
| §9.2 PVSim体系结构 | 第134-136页 |
| §9.3 Verilog实体映射 | 第136-137页 |
| §9.4 分布并行模拟周期组织 | 第137-138页 |
| §9.5 ParaMid库的支持 | 第138-141页 |
| §9.6 代码生成 | 第141-143页 |
| §9.7 基于功能模块的结构划分方法 | 第143-144页 |
| §9.8 实验结果与分析 | 第144-146页 |
| §9.9 本章小结 | 第146-147页 |
| 第十章 结束语 | 第147-153页 |
| §10.1 本文主要贡献 | 第147-149页 |
| §10.2 今后研究工作 | 第149-152页 |
| §10.3 本章小结 | 第152-153页 |
| 致谢 | 第153-154页 |
| 参考文献 | 第154-164页 |
| 攻读博士期间已发表录用和撰写的论文 | 第164-165页 |