人工智能（第2版）电子书,[美]史蒂芬·卢奇（Stephen Lucci），丹尼·科佩克（Danny Kopec）
【SystemVerilog】路科验证V2学习笔记（全600页）.pdf
2021-02-25SystemVerilog的听课学习笔记，包括讲义截取、知识点记录、注意事项等细节的标注。目录如下：第一章SV环境构建常识11.1数据类型1四、二值逻辑4定宽数组9foreach13动态数组16队列19关联数组21枚举类型23字符串251.2过程块和方法27initial和always30function逻辑电路33task时序电路35动态静态变量391.3设计例化和连接45第二章验证的方法393动态仿真395静态检查397虚拟模型403硬件加速405效能验证408性能验证410第三章SV组件实现993.1接口100什么是interface101接口的优势1083.2采样和数据驱动112竞争问题113接口中的时序块clocking123利于clocking的驱动1333.3测试的开始和结束136仿真开始139program隐式结束143program显式结束145软件域program1473.4调试方法150第四章验证的计划1664.1计划概述1664.2计划的内容1734.3计划的实现1854.4计划的进程评估194第五章验证的管理2776.1验证的周期检查2776.2管理三要素2916.3验证的收敛3036.4问题追踪3146.5团队建设3216.6验证的专业化330第六章验证平台的结构482.1测试平台492.2硬件设计描述55MCDF接口描述58MCDF接口时序62MCDF寄存器描述652.3激励发生器67channelinitiator72registerinitiator732.4监测器742.5比较器812.6验证结构95第七章激励发生封装：类2095.1概述2095.2类的成员2335.3类的继承245三种类型权限protected/local/public247thissuper253成员覆盖2575.4句柄的使用2635.5包的使用269第八章激励发生的随机化3407.1随机约束和分布340权重分布353条件约束3557.2约束块控制3587.3随机函数3667.4数组约束3737.5随机控制388第九章线程与通信4329.1线程的使用4329.2线程的控制441三个fork...join443等待衍生线程451停止线程disable4519.3线程的通信458第十章进程评估：覆盖率49510.1覆盖率类型49510.2功能覆盖策略51010.3覆盖组51610.4数据采样52410.5覆盖选项54410.6数据分析550第十一章SV语言核心进阶55211.1类型转换55211.2虚方法56411.3对象拷贝57511.4回调函数58411.5参数化的类590第十二章UVM简介3928.2UVM简介4148.3UVM组件4208.4UVM环境425