验证技术的发展       在目前的集成电路设计中，芯片的规模和复杂程度正呈指数增加，为保证所设计芯片功能的正确性，需要花费比以往更多的时间和人力，困难度大幅增加。而且，目前的功能验证能力已经远远落后于设计能力，功能验证正成为大规模芯片设计的瓶颈。设计人员通常需要花费50%~70%的时间去验证他们的设计。虽然有形式验证等多种验证方法可供选择，但是设计者还是偏好基于仿真的验证，本文中的验证主要是指仿真。为了降低验证的工作量和提高验证的效率，越来越多的设计人员采用高级验证语言(HLV)来进行芯片验证