Digital Circuit Functional Verification(三)

 人的因素

• 同一个人负责RTL编码和测试，测试又需要对测试要求作出具体说明，那么其
所根据的往往是这个说明，而非测试要求本身。
• 可以通过测试来验证设计是否符合设计人员对测试要求所作的说明。
• 如果说明本身是错误的，则测试永远都无法达到其要求。

任何人为介入都会导致不稳定和不可重复

因此有了下面的弥补措施
• 自动化
• 简化
• 冗余

自动化 (Automation )

•  自动化可以消除人为错误，因为它完全排除了人为介入。
•  并不是所有的过程都可以实现自动化，尤其是那些没
有很好定义，仍然需要人的创造性的场合，比如硬件设计

简化(Poka-Yoka ) 

• 把整个过程分解为简单可靠的步骤，只有在需要取得期望结果的特定步
骤才引进人为介入。
• 这种技术在质量管理领域又叫poka-yaka。
• 其离完全的自动化也只有一步之遥，所以它也只适用于严格定义了标准
转换步骤的过程。

冗余(Redundancy) 

• 求每个传输对象都是一式两份，传输过程则由两个人分别独立完
成，或对两个完全独立的传输过程的每一个输出结果进行比较，来
验证其结果是否一致。
• 只有在高度可靠的情况下才使用，比如空运系统。
• 在某些方面如果对产品的重新设计和更新成本更大，也可以采用这
种方法，例如ASIC设计。