- 博客(2)
- 收藏
- 关注
原创 2021-07-16
数字验证V0路科学习笔记(二)数据类型verilog变量类型SV中与verilog的不同二值逻辑数据类型其他类型自定义类型 数据类型 verilog变量类型 变量类型保存在initial、always、task、function内赋的值,表征组合逻辑或时序逻辑的值 变量只能用过程赋值完成,wire型则表示线连 类型是integer的值作为有符号数处理,而reg或time的值作为无符号数处理 用reg描述逻辑,integer描述循环变量和计算,real在系统模型中使用,time和realtime曹村测试装置
2021-07-16 14:34:26
241
原创 2021-07-16
数字验证V0路科学习笔记(一)什么是验证?验证总体流程验证的重要性验证的任务和目标刚入职的验证工程师要清楚验证的周期SV及UVM概述SV的核心特性UVM 什么是验证? 是用来证明设计功能正确,并且符合设计功能描述的过程 工作量主要集中在设计流片之前,而且在前端设计中占据70%的工作量 是需要在流片之前确认产品的功能和系统是否符合规则和要求。 - 设计如果没有经过验证,是没有任何信心去流片的 设计和验证都需要围绕功能描述文档 验证发现结果不符合预期时,如果漏洞明显可交由设计修正,待返回再测试;如果功能描述与
2021-07-16 13:22:13
108
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人