论文部分内容阅读
随着芯片设计规模的不断增大,以及SoC技术的发展,验证工作变得日益复杂和繁琐。芯片设计包括设计和验证,只有验证通过后,芯片才能流片。验证已经成为芯片发展的瓶颈。芯片上市时间不断缩短,对验证的需求也在不断的提高,主要体现在:
1.项目风险需要在早期就得到评估和控制,验证需要在早期进行验证准备;
2.验证环境需要更加的灵活,很强的重用性,节省搭建验证环境需要的资源;
3.芯片的商业竞争力的体现面市时间需要不断缩短,这就需要提高验证的效率。
本文首先研究和总结了各种前端验证技术的特点,重点阐述了事务级验证方法的技术特点,这些验证技术基本上都是针对用硬件描述语言表达的代码,验证其在逻辑和功能上是否符合设计规格。针对芯片设计对验证需求的不断提高,我们提出思路验证方法学。重点阐述了思路验证方法的流程和结构化思路记录模型。本方法能够实现在项目早期进行验证准备,提取出相应的结构化资源;然后根据结构化资源,产生相应的验证环境平台;同时能够更早进行项目风险评估和管理,让项目朝着收敛的方向发展。
本文然后讲述了通过对H.264基本档次的熵编码CAVLC模块采用思路级验证方法学,进行功能验证的过程。先用结构化思路分析模型对CAVLC中的功能点进行思路资源的分析,并记录;然后对结构化思路资源进行信息提取,产生基于事务级的验证环境组件,进行功能仿真验证。
本文最后对CAVLC的验证结果进行了分析,并通过对CAVLC的验证,证明了思路验证方法学是可行的。它在项目管理上能起到指导作用,特别是在验证平台的高效搭建、重用、自动化,以及提高验证效率方面,有着非常好的理论和实践价值。