论文部分内容阅读
芯片研发主要包括芯片设计和验证,验证工作的完成与否将是芯片是否可以流片的重要考量。随着IC设计规模和复杂度的不断增大,如何通过建立验证模型的方式快速有效地完成验证工作,已经成为业界芯片产品研发越来越关心的课题。
针对芯片设计对验证需求的不断提高,本文提出了一种思路级验证方法,并通过引入流图状态机模型对验证思路的记录与分析,实现对验证覆盖率的保证和项目风险的控制。其主要内容是:通过对模型化思路资源的整理与分析,实现对验证工作快速的宏观把握。通过这种不局限于代码级别的验证方法可以提供良好的验证指导与项目管理,从而实现验证工作的高效收敛。
为证实这种基于模型的思路级验证方法,本文介绍了实际软件项目开发中建立的流图与状态机模型并说明其实现效果,最后通过在USB3.0项目中对此验证方法的具体过程实现,确定了本IC验证方法的可行性与高效性。