IC技术圈
致力于建立知识、人的联系
IC技术圈期刊 2022年 第09期

类别： FPGA(5) 前端(3) 验证(5) 后端(2) 嵌入式(0) 自动化(0) 模拟(1) 求职就业(1) 管理(0) 软件(0) 按月份
什么是X态传播？
#验证  #设计  #X态  #VCS  #Xprop 
X态的存在使得仿真结果要么太过于乐观，要么太过于悲观。
ICer消食片 More
SystemC Verification Randomization
#验证  #SystemC  #随机约束 
SystemC Verification作为SystemC 的验证库，引入约束随机描述，可以实现基于C++/SC的Constraint Rand Verification.
验证芯发现 More
sv_string | 简单、易用、开源的System-Verilog字符串操作函数库
#验证  #芯片验证  #systemverilog  #string 
相比于Python和C++ string丰富的操作方法, systemverilog中string操作方法略显单薄, 仅支持大小写转换和遍历等少量方法。作者借鉴部分python string的操作函数风格, 以及结合常用的一些字符串操作, 开发一个sv_string的开源库, 使用systemverilog编写, 无需DPI和C代码编译, 开箱即用。源码已开源在github, 已经过questasim仿真测试。
验证芯发现 More
你知道get_coverage和get_inst_coverage得到的都是什么覆盖率吗
#验证  #SystemVerilog  #get_coverage  #get_inst_coverage 
在SystemVerilog中提供了大量的用于获得coverage的方法，方便了用户进行功能覆盖率的收集，比较常见的主要有：$get_coverage、get_coverage和get_inst_coverage，那么这几种get coverage得到的到底是什么coverage彼此之间有什么差异呢？本文将通过示例说明。
硅芯思见 More
华为夏晶大神： 总结我的思路，如何在验证中发现和定位Bug
#验证 
发现Bug，发现所有的Bug，或者证明没有Bug，是验证存在的唯一目的。无论任何验证语言、任何验证环境、任何验证方法学、任何Feature List，都是为了达成这一目的而使用的方法，或者所手段。偏离了这一目的任何工作和努力，都是屎、大便、Shit。
芯片设计验证 More