在功能验证的世界里，最让人害怕的不是发现了一堆BUG，而是一个BUG都找不到。
因为BUG不会因为你看不见就消失，它们只是藏得更深。就像房间里的老鼠，不叫唤的时候你以为没有，其实可能已经啃光了你的粮食。
在芯片研发中，这种"看不见的危险"更加致命。一颗看似完美的芯片，如果没有经过充分的验证，那些隐藏的BUG就像定时炸弹，随时可能在最关键的时刻爆发。与其在产品上市后面对灾难性的召回，不如在验证阶段把所有问题都挖出来。
经过多年的验证江湖历练，可以把BUG大致分成了五个类型，每个类型都有自己的特色：