数字验证
文章平均质量分 58
夏虫不可与冰
这个作者很懒,什么都没留下…
展开
-
UVM:验证IP(Verification Intellectual Property, VIP)
VIP可用于植入用户的验证环境中,用于协议标准和接口的连接和检查。这些VIP除了根据协议等的驱动driver和sequence外,还包括相应的覆盖率模型、dut软件模型、说明文档等。例如高级外围总线(Advanced Peripheral Bus, APB)是唯一主多从的设备总线标准。如果在项目中涉及到了APB接口,就可以使用APB的VIP。...转载 2022-08-26 11:11:50 · 4540 阅读 · 1 评论 -
2022年海康威视实习面试 IC验证
海康威视成都研究院(一面电话面,36min,验证)自我介绍; 为什么选择验证; 验证学到什么程度 ,验证流程; 验证一个东西最重要的是什么; 你对验证的理解; 简单介绍一下项目分工; 怎么处理跨时钟域的问题; 异步FIFO的建立保持时间变成零的话,地址寄存器还需要做格雷码的转换吗?还需要做跨时钟域处理吗? 介绍课题组的项目。介绍完之后,就没有多问。 你籍贯是哪里? 成都和杭州想去哪里? 可以实习多久 反问环节海康威视杭州研究院(一面电话面,26min,聊天,没问什么技术问题,验原创 2022-05-01 18:30:55 · 1827 阅读 · 2 评论 -
SystemVerilog:句柄传递和类型转换问题总结
笔者在习句柄传递和转换时,发现有一些需要注意的点,因此总结了一下,顺便在这下边叭啦记录一下:一、一般情况下父类句柄与子类句柄之间的类型转换子类句柄可以赋值给父类句柄(但是父类句柄不可以赋值给子类句柄),如下:super= sub;其中:super为父类句柄,sub为子类句柄。赋值后含义为:此时的父类句柄super已经指向了子类的对象。 虽然父类的句柄super指向了子类,但它仍然是父类的句柄,因此用该句柄调用方法/属性时,只能访问到父类中的方法/属性。那么如果想要调用子类.原创 2022-02-27 10:07:37 · 1840 阅读 · 0 评论 -
SystemVerilog:产生具有唯一元素值的数组——randc为什么不行
1、问题“如果想要产生一个随机数组,它的每一个元素值都是唯一的。如果使用randc数组,那么数组的每一个元素都会独立的随机化,并不会按照我们的本意使得数组中的元素值都是唯一的。” 在学习路科验证的课程的SV语言部分之四随机约束一讲中有上述这么一句话,路桑在这里没有细讲,当时一头雾水,想着randc这个关键词修饰的变量,随机化之后产生的随机值不是不会重复嘛?然后翻了下绿皮书(《SystemVerilog验证——测试平台编写指南》),第六章“随机化”章节中,6.13.5小节“产生具有...原创 2022-02-24 19:26:29 · 2087 阅读 · 0 评论