课程简介
该课程是针对数字电路设计验证技术高级学员的课程,是数字电路设计验证工程师需要掌握的技术。该课程不仅是对项目的理论描述,更重要的是通过对协议的理解,编写相应的RTL代码,并通过验证语言如SystemVerilog构建验证平台,验证RTL功能的正确性;同时,为了提供验证效率,引入了支持可约束的随机验证方法,覆盖率驱动的验证策略,并利用UVM提供的源码库,构建一个可重用的验证平台,学完该课程后可以胜任ASIC/FPGA/SoC芯片设计验证工作。
课程对象
本课程适合于从事数字芯片设计验证科研和工作的学生,讲师和工程师,也适合于有志于从事数字芯片设计验证工作,期望进入数字芯片设计领域的相关人员。参加学习的学员需要掌握数字逻辑仿真,综合,verilog语言等基础理论和EDA技能。
课程大纲
- AMBA总线协议简介
- AHB总线的特点,时序,操作流程
- AHB总线master和slave的交互流程
- 静态随机存储器SRAM的特点
- SRAM的时序
- 基于AHB总线接口的SRAM控制器的设计方法
- 基于AHB总线接口的SRAM控制器的验证方法
- AHB-SRAMC RTL和验证代码分析