EDA/PLD中的基于e语言的验证自动化系统

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