首页
企业超级VIP
企业超级VIP
企业课程
高校共建
高校课程
摩尔实训云
就业求职
offer喜讯
就业辅导
摩尔人招聘
精品课程
IC学习卡
青英课
就业班
实训课
VIP会员
免费公开课
资讯
首页
企业超级VIP
企业超级VIP
企业课程
高校共建
高校课程
摩尔实训云
就业求职
offer喜讯
就业辅导
摩尔人招聘
精品课程
IC学习卡
青英课
就业班
实训课
VIP会员
免费公开课
资讯
登录
注册
登录
注册
《数字IC验证工程师就业班》2105期
第78任务： 课时78：第十章SystemVerilog断言02 property
查看课程
任务列表
第1任务： SOC芯片架构01
第2任务： 数字IC设计流程1
第3任务： 数字IC设计流程2
第4任务： 数字IC设计流程3
第5任务： SOC芯片架构02
第6任务： LInux操作系统基本操作01
第7任务： LInux操作系统基本操作03
第8任务： LInux操作系统基本操作04
第9任务： LInux操作系统基本操作02
第10任务： 第一次作业讲解
第11任务： GVIM文本编辑工具基本操作02
第12任务： GVIM文本编辑工具基本操作01
第13任务： GVIM正则表达式01
第14任务： GVIM正则表达式02
第15任务： 逻辑仿真工具QuestaSim的使用
第16任务： Makefile - QuestaSim自动化编译
第17任务： 第二次作业讲解
第18任务： 数字集成电路基础01
第19任务： 数字集成电路基础02
第20任务： 数字集成电路基础03
第21任务： 数字集成电路基础04
第22任务： Verilog RTL设计-经典组合和时序电路01
第23任务： Verilog RTL设计-经典组合和时序电路02
第24任务： Verilog RTL设计-经典组合和时序电路03
第25任务： Verilog RTL设计-有限状态机的写法01
第26任务： Verilog RTL设计-有限状态机的写法02
第27任务： Verilog RTL设计-有限状态机的写法03
第28任务： Verilog RTL设计-同步和异步fifo的设计01
第29任务： Verilog RTL设计-同步和异步fifo的设计02
第30任务： ASIC Functional Verification Verilog Testbench
第31任务： 第一章 System verilog 验证课程概述
第32任务： 第二章 制定验证计划和分层的验证平台01
第33任务： 第三次作业讲解和实验课01
第34任务： 第三次作业讲解和实验课02
第35任务： 第三次作业讲解和实验课03
第36任务： 第二章 制定验证计划和分层的验证平台02
第37任务： 第三章 SystemVerilog interface和program 01
第38任务： 第三章 SystemVerilog interface和program 02
第39任务： 第三章 SystemVerilog interface和program 03
第40任务： 第三章 SystemVerilog interface和program 04
第41任务： 第三章 SystemVerilog interface和program实验课
第42任务： 第四章 SystemVerilog数据类型01
第43任务： 【重新录制】课时37 第三章 SystemVerilog interface和program 01
第44任务： 【重新录制】课时39 第三章 SystemVerilog interface和program 03
第45任务： 第四次作业讲解
第46任务： 第四章 SystemVerilog数据类型02
第47任务： 第四章 SystemVerilog数据类型03
第48任务： 第四章 SystemVerilog数据类型04
第49任务： 第四章 SystemVerilog数据类型05
第50任务： 第四章 SystemVerilog数据类型06
第51任务： 第四章 SystemVerilog数据类型07
第52任务： 第五章 SystemVerilog-task和function01
第53任务： 第五章 SystemVerilog-task和function02
第54任务： 第六章 面向对象编程01
第55任务： 第六章 面向对象编程02
第56任务： 第六章 面向对象编程03
第57任务： 第六章 面向对象编程04
第58任务： 第六章 面向对象编程05
第59任务： 第七章 随机化Rondomization 03
第60任务： 第七章 随机化Rondomization 01
第61任务： 第七章 随机化Rondomization 02
第62任务： 第八章 SystemVerilog并发线程01
第63任务： 第八章 SystemVerilog并发线程02
第64任务： 第八章 SystemVerilog并发线程03
第65任务： 第五次作业讲解01
第66任务： 第五次作业讲解02
第67任务： 第五次作业讲解03
第68任务： 第五次作业讲解04
第69任务： 第九章 SystemVerilog线程内部通信01
第70任务： 第九章 SystemVerilog线程内部通信02
第71任务： 第九章 SystemVerilog线程内部通信03
第72任务： 第九章 SystemVerilog线程内部通信04
第73任务： 第十章 SystemVerilog覆盖率·01
第74任务： 第十章 SystemVerilog覆盖率·02
第75任务： 课时75：第十章SystemVerilog覆盖率03
第76任务： 课时76：第十章SystemVerilog断言
第77任务： 课时76：第十章SystemVerilog断言02 sequence
第78任务： 课时78：第十章SystemVerilog断言02 property
第79任务： 课时79：SystemVerilog答疑
第80任务： 第十章 SystemVerilog覆盖率·03
第81任务： 第十章 SystemVerilog覆盖率·04
第82任务： 第六次作业讲解
第83任务： 第十一章 SystemVerilog 断言概述（Asserttion Summary）01
第84任务： 第十一章 SystemVerilog 断言概述（Asserttion Summary）02
第85任务： 第十二章 SystemVerilog断言序列(Asseertion sequence) 01
第86任务： 第十三章 SystemVerilog断言属性(Assertion Property) 01
第87任务： 第十三章 SystemVerilog断言属性(Assertion Property) 02
第88任务： 第十二章 SystemVerilog断言序列(Asseertion sequence) 02
第89任务： SystemVerilog项目实践——第一章 AHB-SOC芯片架构 AHB-SRAMC设计01
第90任务： 第二章 AMBA总线介绍01
第91任务： 第二章 AMBA总线介绍02
第92任务： 第二章 AMBA总线介绍03
第93任务： 第二章 AMBA总线介绍04
第94任务： 第二章 AMBA总线介绍05
第95任务： 第二章 AMBA总线介绍06
第96任务： 第二章 AMBA总线介绍07
第97任务： 第三章 AHB-SRAMC Design
第98任务： 第四章 AHB-SRAMC SVTB 01——验证计划
第99任务： 第四章 AHB-SRAMC SVTB 02——Interface
第100任务： 第四章 AHB-SRAMC SVTB 03——generator
第101任务： 第四章 AHB-SRAMC SVTB 04——driver
第102任务： 第四章 AHB-SRAMC SVTB 05——reference model
第103任务： 第四章 AHB-SRAMC SVTB 06——scoreboard
第104任务： 第四章 AHB-SRAMC SVTB 07——function coverage
第105任务： 第四章 AHB-SRAMC SVTB 08—— enviroment and top 01
第106任务： 第四章 AHB-SRAMC SVTB 09——enviroment and top 02
第107任务： 第四章 AHB-SRAMC SVTB 10——base test case
第108任务： 第四章 AHB-SRAMC SVTB 12——more case and debug 02
第109任务： 第四章 AHB-SRAMC SVTB 13——覆盖率收集和回归测试01
第110任务： 第四章 AHB-SRAMC SVTB 11——more case and debug 01
第111任务： 第四章 AHB-SRAMC SVTB 14——覆盖率收集和回归测试02
第112任务： 第四章 AHB-SRAMC SVTB 15——更改验证环境添加monitor
第113任务： UVM验证方法学 第一章 SystemVerilog面向对象编程 01
第114任务： 第二章 UVM验证平台 02
第115任务： 第一章 SystemVerilog面向对象编程 02
第116任务： 第二章 UVM验证平台 01
第117任务： 第一章 System verilog面向对象编程 04
第118任务： 第一章 System verilog面向对象编程 03
第119任务： 第二章 UVM验证平台 03
第120任务： 第二章 UVM验证平台 04
第121任务： 第二章 UVM验证平台 05
第122任务： 第二章 UVM验证平台 06
第123任务： 第二章 UVM验证平台 07——作业题01
第124任务： 第二章 UVM验证平台 07——作业题02
第125任务： 第三章 数据建模 01
第126任务： 第三章 数据建模 02
第127任务： 第四章 sequence机制 01
第128任务： 第四章 sequence机制 02
第129任务： 第四章 sequence机制 03
第130任务： 第四章 sequence机制 04
第131任务： 作业题：UVM lab——DUT的功能描述
第132任务： 作业题: UVM_Lab1
第133任务： 作业题: UVM_Lab2
第134任务： 作业题: UVM_Lab3
第135任务： 第五章 UVM工厂模式和组件配置机制 01
第136任务： 第五章 UVM工厂模式和组件配置机制 02
第137任务： 第五章 UVM工厂模式和组件配置机制 03
第138任务： 第六章 TLM通信机制 01
第139任务： 第六章 TLM通信机制 02
第140任务： 第六章 TLM通信机制 03
第141任务： 第六章 TLM通信机制 04
第142任务： 作业题： UVM_Lab4
第143任务： 第七章 计分板和覆盖率 01
第144任务： 第七章 计分板和覆盖率 02
第145任务： 第八章 UVM回调机制 01
第146任务： 第八章 UVM回调机制 02
第147任务： 第九章 UVM组件执行顺序 01
第148任务： 第九章 UVM组件执行顺序 02
第149任务： 第十章 虚序列和虚序列器 01
第150任务： 作业题： UVM_Lab5
第151任务： 第十章 虚序列和虚序列器 02
第152任务： 第十章 虚序列和虚序列器 03
第153任务： 第十章 虚序列和虚序列器 04
第154任务： 第十一章 寄存器抽象层RAL 01
第155任务： 第十一章 寄存器抽象层RAL 02
第156任务： 第十一章 寄存器抽象层RAL 03
第157任务： 第十一章 寄存器抽象层RAL 04
第158任务： 第十一章 寄存器抽象层RAL 05
第159任务： 第十一章 寄存器抽象层RAL 06
第160任务： 作业题： UVM_Lab6
第161任务： 第十一章 寄存器抽象层RAL 07
第162任务： 第十一章 寄存器抽象层RAL 08
第163任务： 第十一章 寄存器抽象层RAL 09
第164任务： 第十二章 UVM验证方法学总结
第165任务： UVM Ahb-Sramc实践项目——第一章 你能不能通过面试 01
第166任务： 第一章 你能不能通过面试 02
第167任务： 第二章 设计Spec解读
第168任务： 作业题： UVM_Lab7
第169任务： 第三章 验证计划
第170任务： 关于项目的面试讲解
第171任务： 第四章 搭建UVM TB框架
第172任务： 第五章 完善UVM TB 01
第173任务： 第五章 完善UVM TB 02
第174任务： 第五章 完善UVM TB 03
第175任务： 第六章 Debug UVM TB 01
第176任务： 第六章 Debug UVM TB 02
第177任务： 第六章 Debug UVM TB 03
第178任务： 第六章 Debug UVM TB 04
第179任务： 第六章 Debug UVM TB 05
第180任务： 第六章 Debug UVM TB 06
第181任务： 第七章 编写testcase和debug RTL 01
第182任务： 第七章 编写testcase和debug RTL 02
第183任务： 第七章 编写testcase和debug RTL 03
第184任务： 第七章 编写testcase和debug RTL 04
第185任务： 第八章 run regression和coverage收集 01
第186任务： 第八章 run regression和coverage收集 02
第187任务： UVM APB-SPI实践项目——第一章 Design SPEC APB协议
第188任务： UVM APB-SPI实践项目——第一章 Design SPEC SPI协议
第189任务： 第一章 Design SPEC SPI协议 02
第190任务： 第二章 APB_SPI待测设计简介 01
第191任务： 第二章 APB_SPI待测设计简介 02
第192任务： 第三章 如何编写验证计划 01
第193任务： 第三章 如何编写验证计划 02
第194任务： 第四章 APB_SPI验证环境概设 01
第195任务： 第四章 APB_SPI验证环境概设 02
第196任务： 第四章 APB_SPI验证环境概设 03
第197任务： 第五章 验证环境详细设计 01
第198任务： 第五章 验证环境详细设计 02
第199任务： 第五章 验证环境详细设计 03
第200任务： 第六章 覆盖率模型和测试用例 01
第201任务： 第六章 覆盖率模型和测试用例 02
第202任务： 第七章 DEBUG 01
第203任务： 第七章 DEBUG 02
