路科验证的个人空间 https://blog.eetop.cn/rockeric [收藏] [复制] [分享] [RSS]

空间首页 动态 记录 日志 相册 主题 分享 留言板 个人资料
统计信息

已有 33340 人来访过

  • 积分: 2221
  • 资产: 2221
  • 发贴收入: --
  • 推广收入: --
  • 附件收入: --
  • 下载支出: 145
  • 好友: 25
  • 主题: --
  • 日志: 280
  • 相册: --
  • 分享: --

    现在还没有相册

    现在还没有记录

  • 暂无资料项或无权查看

查看全部个人资料

    现在还没有动态

基于形式化的方法缩短数字设计IP的验证时间 2021-03-19
当我们谈论数字IP的sign-off时,我们指的是对模块的完整验证。 设备数据表中列出的每个功能都需要验证。 此外,每条RTL语句描述,分支和表达式也需要验证 ...
(0)次阅读|(0)个评论
什么是定制化处理器? 2021-03-19
  定义已更改,因此将影响设计过程。   在最新的周期性发展热潮的刺激下,半导体行业进入了定制处理器的新黄金时代,但是这次 “定制处理 ...
(843)次阅读|(0)个评论
使用命令序列执行状态机 2021-03-19
几乎每个规模不小的设计里都包含至少一个状态机,并且通过其合法状态 、 状态转换以及状态转换 的 各种原因来行使该状态机是验证设计功能的关键。在某 ...
(769)次阅读|(0)个评论
为验证增加顺序和结构(下) 2021-03-19
  路科发布| 稳中带涨!25w成芯片校招薪资平均底!2020应届秋招数据全面分析! 相约今晚8点 社招转岗有顾虑?成功上岸的同学来帮你 V2Pro 202 ...
(0)次阅读|(0)个评论
为验证增加顺序和结构(上) 2021-03-19
行业专家如何首次应对形式化能力成熟度模型。   你无法改善无法度量的内容,而在方法论方面,度量的概念变得更加困难。加入组织内个人的技能,能力 ...
(0)次阅读|(0)个评论
除了这门升级中的V2Pro课程,恐怕你找不到更好的学验证的途径了 ... 2021-01-10
没错,想必你猜到了,V2Pro课程又一次像20秋季班一样,在开课前的2个月,就开始纳新了。   元旦假期刚刚过去,不知道你给新的一年订了什么计划,而过 ...
(1635)次阅读|(0)个评论

查看更多

现在还没有主题

你需要登录后才可以留言 登录 | 注册


静心聆听 2019-4-25 10:15
路桑,我想问一下,断言实在dut里还是在验证平台里啊?
litterstrong 2017-10-17 20:45
验证的结构篇,图都挂了,麻烦能不能重新传下,谢谢!
litterstrong 2017-10-17 19:53
请问 “验证的管理篇之七: 验证的专业化”中提到的“每年最新的关于设计验证会议上的验证领域论文”,具体指哪些?有链接什么的吗?谢谢!
zhengreat 2017-6-19 14:28
您好,我是验证新手,能不能给传一份《芯片验证漫游指南》全套电子版,zhengreat@126.com,非常感谢您
查看全部
关闭

站长推荐 上一条 /1 下一条

小黑屋| 关于我们| 联系我们| 在线咨询| 隐私声明| EETOP 创芯网 ( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2022-1-25 04:31 , Processed in 0.047292 second(s), 12 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
返回顶部