成员列表
期刊
专栏
活动
招聘内推
知识付费
开源项目
搜索
RSS订阅
视频
EDA在线
IC问答
成员出版图书
书单
CEF102
首页
成员列表
期刊
专栏
活动
招聘内推
知识付费
开源项目
搜索
RSS订阅
视频
EDA在线
IC问答
成员出版图书
书单
CEF102
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