基于形式化的方法缩短数字设计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)个评论

查看更多