在线咨询
eetop公众号 创芯大讲堂 创芯人才网
切换到宽版

EETOP 创芯网论坛 (原名:电子顶级开发网)

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 437|回复: 2

[资料] 芯片验证分享7 —— 代码审查1

[复制链接]
发表于 2024-6-16 13:25:32 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

您需要 登录 才可以下载或查看,没有账号?注册

x
本帖最后由 W1Z1Q 于 2024-6-16 13:26 编辑

大家好,我是谷公子,前几节课给大家分享了如何设计激励,今天我们来如何进行代码审查

之前讨论的是基于计算机的验证技术,现在讨论非基于计算机的验证过程(即“人工验证”,或代码审查)。代码审查在查找错误方面非常有效,任何编程项目都需要它。不过需要注意的是:由于包含了人为因素,很多方法的正规性要差于由计算机执行的数学证明,人们可能会怀疑某些如此简单和不正规的东西是否有用。但是这些不正规的方法并没有妨碍验证取得成功;相反,它们在以下两个方面显著地提高了验证的功效和可靠性:
  • 人们普遍认识到错误发现得越早,改正错误的成本越低,正确改正错误的可能性也越大。

  • 芯片人员在开始基于计算机的验证时似乎要经历一个心理上的转变。从内部产生的压力会急剧增长,并产生一个趋势,要”尽可能快地修正这个缺陷”。由于这些压力的存在,芯片人员在改正某个由计算机验证发现的错误时所犯的失误,要比改正早期发现的问题时所犯的失误更多一些。



分享视频链接如下:
https://mp.weixin.qq.com/s/CmUxDm7-36qQ6fL7Dne_HQ


分享封面.png

发表于 2024-6-16 19:33:29 | 显示全部楼层
Thanks for sharing
发表于 2024-6-26 11:13:54 | 显示全部楼层
Thanks for your sharing
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

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

×

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

GMT+8, 2024-11-8 17:15 , Processed in 0.018164 second(s), 9 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
快速回复 返回顶部 返回列表