The final alternative o removing human errors is redundancy.
It is the simplest,but also the most costly mechanism.
Redundancy requires every transformation resource to be dumplicated.
Every transformation accomplished b a human is ether idenpendently verfified by another individual,or two coomplete and seperate transformations are performed with each outcome compared to verify that both produced the same or equivalent output.
This mechanism is used in high-reliablity environments,such as airborne systems.
It is also used in industies where later redesign and replacement of a defective product would be more costly than the redundancy itslef, such as ASIC design.
我们做个简单计算?
假设一款芯片流片需要300W(RMB)
假设我们的验证人员的一个月的平均工资是1W(包括社保和公积金)
假设项目周期是2年
计算如下:
2年的项目周期内,验证人力支出是1W*10P*24M=240W
其他成本包括水电费,办公租金,软硬件设备支出,假设60W
合计成本:300W
如果没有验证人员参与,如何高复杂度的芯片Bug出的概率极高,那么假设经过3次改版,我们才认为芯片流片成功,那么我们的三次的改版费用合计不会少于600W。
说明,上述的假设虽然不一定符合实际情况,但是有个事实是存在的,就是ASIC的mask成本。
本质上验证存在的理由就是验证支出与流片成本比较要低很多