极术社区
注册
首页
Top 专栏
读书
专题
问答
公开课
活动
注册 · 登录
▲
Dinglei_hello
1295 声望
他还没有填写个人简介
关注他
关注了
3
粉丝数
22
他的主页
他的提问
他的回答
他的文章
他的关注
他的粉丝
他的收藏
声望记录
他的专栏
IC设计
1344 篇内容 · 22064 关注
他的文章
2
使用FEC进行RTLvs Netlist比对
5
使用FPV进行SOC连接验证
1
有关FPV
0
FPV中bug hunting和full proof的区别是什么?
3
设计如何使用FPV提前发现BUG
1
验证人员应该以何种角度阅读spec
1
有关FPV
2
FPV和Simulation的不同
3
搭建FPV验证环境(2)
1
搭建FPV验证环境
2
国际上有哪些知名的第三方验证公司
2
有关验证的问题
2
关于SVA断言
1
System Verilog面试题(四)
4
System Verilog面试题(三)
1
一个SVA断言应用的示例
3
System Verilog面试题(二)
2
System Verilog面试题(一)
2
概述Formal verification
2
什么是竞争冒险?如何避免?
上一页
1
2
3
4
5
下一页
回收站有 篇文章
认证与成就
获得 52 次点赞
2019年10月10日 加入
举报他
关注极术微信号
实时接收点赞提醒和评论通知
关注安谋科技学堂
实时获取安谋科技及 Arm 教学资源
关注安谋科技招聘
实时获取安谋科技中国职位信息
用户指南
·
用户协议
·
隐私政策
关于我们
·
联系合作
粤ICP备18004469号
粤公网安备 44030502008014号
版权所有 © 2025 极术社区
由
SegmentFault
提供技术支持
友情链接
安谋科技
安创空间
开源中国
InfoQ
边缘计算社区
21IC 电子网
HarmonyOS 技术社区
电子芯吧客
CSDN
全志在线
芒果派
深度强化学习实验室
智东西