
【SystemVerilog】路科验证V2学习笔记(共600页)
5星
- 浏览量: 0
- 大小:None
- 文件类型:None
简介:
这是一份详细记录SystemVerilog语言用于芯片设计验证的学习资料,涵盖路科验证版本V2的内容,总计六百页。
SystemVerilog听课学习笔记包括讲义截取、知识点记录及注意事项的详细标注:
第一章 SV环境构建常识
1.1 数据类型
- 二值逻辑
- 定宽数组
- foreach循环结构
- 动态数组
- 队列
- 关联数组
- 枚举类型
- 字符串
1.2 过程块和方法
- initial和always过程块
- function函数定义
- task任务定义
- 动态与静态变量的使用
1.3 设计例化和连接
第二章 验证的方法
动态仿真
静态检查
虚拟模型
硬件加速
性能验证
第三章 SV组件实现
3.1 接口
- interface的概念介绍
- 使用interface的优势分析
3.2 采样与数据驱动
竞争问题的处理方法
clocking时序块在接口中的应用
利用clocking进行信号驱动
3.3 测试开始和结束
仿真启动过程
program模块隐式终止机制
程序显式结束方式
软件域下的program定义
3.4 调试技巧
第四章(此处省略,原文未给出具体内容)
全部评论 (0)
还没有任何评论哟~


