论文部分内容阅读
随着芯片设计规模的不断增大，应用也越来也广泛，确保设计的正确性是芯片设计者必须攻关的课题。本文对芯片设计特别是ASIC的验证技术和质量管理进行了研究。研究如何通过验证技术的应用和验证管理的计划性最终实现高效率的验证，提高芯片设计的质量。 根据不同的标准有不同的分类,并且各种验证都有各自的优缺点。本文介绍几种验证方案。本文第三章对Testbench的组织结构和设计方案进行了简单的介绍。TB的重点还是给RTL施加一定的激励。在linux系统环境下，shell脚本对构成平台的各个模块进行整合系统化，并对仿真过程进行有效的控制，将仿真过程以日志的形式记录下来，以便于迅速的问题定位与过程再现。 本文不仅对验证理论与实践做出了研究同时还对验证的管理做了一定程度的探索，提出了以验证的独立化和验证验证质量管理为观点开展验证工作。本文中，提高验证流程的质量是提高整个芯片验证质量的重点。 本文的实践经验来至于JPEG200静止图像压缩的验证，重点描述了JPEG2000芯片的验证方案，搭建了一种FPGA大规模测试平台和ASIC后端验证平台。并列出了单粒子测试和覆盖率检查的解决方案和详细结果。