X处理器片上环网功能验证技术的研究

目录

第一章 绪论

1.1 研究背景及意义

1.2 研究现状

1.2.1 验证语言的发展

1.2.2 验证方法学发展

1.2.3 验证技术的发展

1.3 论文研究内容

1.4 论文组织结构

第二章 功能验证方法概述

2.1 功能验证的流程和目标

2.2 验证中存在的困难

2.3 验证的相关对策

2.4 验证测试激励

2.5 本章小结

第三章 X处理器片上环网的介绍及验证需求分析

3.1 片上网络相关介绍

3.2 网络拓扑结构

3.3 X处理器片上环网简要分析

3.3.1 环网结构概述

3.3.2 网络消息传输过程

3.4 环网的关键组件及技术

3.4.1 环网节点

3.4.2 网络接口单元

3.4.3 路由算法

3.3.4 防饥饿处理

3.4.5 无阻塞机制

3.5验证需求分析

3.6 本章小结

第四章 基于覆盖率驱动的功能验证方法

4.1覆盖率驱动的验证方法

4.2 遗传算法简介

4.3 基于遗传算法的激励生成原理分析

4.3.1 编码方式

4.3.2 个体适应度

4.3.3 选择策略

4.3.4 交叉策略

4.3.5 变异策略

4.4 实现流程

4.5 本章小结

第五章 验证环境的设计与实现

5.1 基于UVM的验证环境

5.1.1 基于事务的通信

5.1.2 UVM验证机制

5.1.3分层的管理方式

5.2 验证平台的结构设计

5.3 验证平台的主要组件实现

5.3.1 通信接口

5.3.2 事务的设计

5.3.3 驱动器设计

5.3.4 序列发生器设计

5.3.5 监视器设计

5.3.6 代理设计

5.3.7 计分板设计

5.4 仿真与验证分析

5.4.1仿真分析

5.4.2覆盖率分析

5.5 本章小结

总 结

参考文献

致 谢