芯片验证分享7 —— 代码审查1

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

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

• 人们普遍认识到错误发现得越早，改正错误的成本越低，正确改正错误的可能性也越大。

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

分享视频链接如下：

芯片验证分享7 —— 代码审查1