dingxundianzi的个人主页_电子工程师 - 电子技术论坛

dingxundianzi

经验：积分：2

查看完整档案 >>

+关注发私信

他的动态

发布了文章 2022-11-1 15:57

为处理器验证创建一个“瑞士奶酪模型”，以保证高效的验证品质！

在应用于处理器验证的瑞士奶酪模型中，其原理类似于航空业：如果有一条直接穿过所有切片的路径，那么飞机就有坠毁的风险。这就是为什么航空业对程序、飞行检查单和冗余系统要求严格？...

0

1268次阅读

0条评论
发布了文章 2022-11-1 15:50

是什么定义了处理器漏洞的复杂性以及如何检测它？

为了衡量一个漏洞的复杂性，我们可以对漏洞进行分类，供整个处理器验证团队来使用。在之前的一篇博文中，我们讨论了4种类型的bug，并解释了我们如何使用这些分类来提高测试平台和验证的质量。此时我们可以再进一步，即将这种方法与漏洞的复杂性结合起来处...

0

606次阅读

0条评论
发布了文章 2022-11-1 10:25

Codasip对于处理器验证的意义

当今世界处理器无处不在！它们控制着我们笔记本电脑中的闪存、汽车的制动系统或信用卡上的芯片。这些产品CPU不仅有着不同的性能要求，同时也有着不同的安全和保障要求。换句话说，处理器的具体需求因产品而异。...

0

488次阅读

0条评论
发布了文章 2022-11-1 10:11

处理器验证：四种CPU bug演变过程

详尽的验证是找到这种CPU bug的关键。代码覆盖率可以帮助你，但绝对不够。如果一个功能没有在RTL中编码，覆盖率也就不可能报告它的缺失？此时需要在规范明确的情况下执行代码审查。...

0

950次阅读

0条评论
发布了文章 2022-11-1 10:08

处理器验证方法之系统漏洞集群

在Codasip的验证方法中使用智能随机测试，使我们既能有针对性，又能广泛地在这个新领域有效地找到更多的漏洞。这种测试方法包括调整测试，以更频繁地激活触发该漏洞的其他事件。...

0

540次阅读

0条评论
发布了文章 2022-10-20 09:43

Codasip宣布新人事任命满足客户对可定制RISC-V处理器的强劲需求

可定制RISC-V处理器知识产权（IP）的领导者Codasip日前宣布：已任命胡征宇（Julian Hu）为该公司大中华区总经理，以进一步满足区域内客户对可定制RISC-V处理器的强劲需求，并通过更完善的技术支持组织架构来助力本地区客户取得...

0

913次阅读

0条评论
发布了文章 2022-10-14 15:37

关于RISC-V 5大潜力和优势

众所周知RISC-V早在2010年就作为加州大学伯克利分校的一个大学研究项目而开始。正因为RISC-V所具有的免费优势，越来越多的大学研究人员开始关注RISC-V技术。...

0

2432次阅读

0条评论