SystemVerilog的听课学习笔记,包括讲义截取、知识点记录、注意事项等细节的标注。
目录如下:
第一章 SV环境构建常识 1
1.1 数据类型 1
四、二值逻辑 4
定宽数组 9
foreach 13
动态数组 16
队列 19
关联数组 21
枚举类型 23
字符串 25
1.2 过程块和方法 27
initial和always 30
function逻辑电路 33
task时序电路 35
动态 静态变量 39
1.3 设计例化和连接 45
第二章 验证的方法 393
动态仿真 395
静态检查 397
虚拟模型 403
硬件加速 405
效能验证 408
性能验证 410
第三章 SV组件实现 99
3.1 接口 100
什么是interface 101
接口的优势 108
3.2 采样和数据驱动 112
竞争问题 113
接口中的时序块clocking 123
利于clocking的驱动 133
3.3 测试的开始和结束 136
仿真开始 139
program隐式结束 143
program显式结束 145
软件域program 147
3.4 调试方法 150
第四章