5.1 VLSI设计验证的原理与方法