论文部分内容阅读
在芯片设计规模日益增大,芯片应用越来越广泛的今天,保证设计的正确性是每一位芯片设计者必须考虑的大事。本文对芯片设计特别是ASIC领域的验证技术和质量管理进行了探讨,从验证理论,验证实践,验证自动化,验证重用和验证管理等处着眼,研究如何通过验证技术的应用和验证流程的合理化实现高效率验证,提高芯片设计的质量。 本文考察了动态验证技术和静态验证技术的最新发展,并积累了实践应用经验。动态验证技术是验证的基础,在今后的验证流程中也将继续扮演重要的角色。静态验证技术在近几年内有着飞速的发展。静态验证技术可以克服芯片规模增大时动态验证时间耗费巨大的缺点。本文尝试将动态验证技术与静态验证技术结合应用于芯片的验证工作。 本文还结合FPGA的应用深入研究了验证技术的另一发展方向——硬件仿真技术。通过物理模型将软件模拟的顺序执行变为硬件的并行执行,仿真技术可以将动态验证的速度提高2到3个数量级,消除速度瓶颈。但是仿真技术在现阶段还有速度,规模,接口方面的技术问题有待提高。 本文提出通过验证语言而不是硬件描述语言来建立验证环境,帮助验证工程师将时间与精力集中在验证思想的表达上而不是对验证实现细节的表达上。伴随着验证技术日益专业化,高级验证语言开始发挥自己的贡献。高级验证语言的普及与使用必将提高芯片验证的效率与质量。 提高芯片设计质量的关键一是先进的验证技术,二是科学的验证管理。 本文在验证理论的研究和实践的基础上,对验证团队的建立,培养与管理进行了探索,提出以验证独立化的原则和全面质量管理的观点指导验证工作。验证独立化是芯片设计规模发展后的必然需要。通过分工,验证以其独立的视角为设计提供有力保障。验证独立化也为验证的质量管理提供基础。通过提高验证流程的质量来保证验证的质量是全面质量管理的核心思想。 数字视频后处理芯片是最有市场开发价值的数字电视核心芯片之一。该项目有指导地应用本文研究的验证理论与方法,建立独立的验证组织,采用科学的验证流程,实施全面质量管理,有力地保障了项目的高质量完成。