[发明专利]一种用于低功耗设计的可重用仿真验证方法

摘要

本发明公开了一种用于低功耗设计的可重用仿真验证方法，本发明通过对传输的电源状态的动态统计，实现了仿真在满足测试用例指定要求时自适应的进行仿真和自动结束；通过在测试平台传递配置参数，实现了验证环境组件、特殊功能的开关作用，同时实现了验证环境在类似设计中的可重用性；通过断言的绑定方法，和设计路径传输的参数化，实现了断言在源代码和网表级的完全复用。采用本发明的验证方法构建的验证平台不仅可以完成传统验证平台的功能覆盖性，同时可以覆盖电路中所有的电源状态。

主权项

1.一种用于低功耗设计的可重用仿真验证方法，其特征在于，包括以下步骤：步骤一，对芯片端口信号的电源状态信息进行抽象，对验证环境与实际芯片交互的状态约束传输数据进行抽象，并配置测试平台的验证环境；步骤二，验证环境中的monitor模块对抽象的数据进行实时监控，并将抽象的数据发送至计分板scoreboard；步骤三，计分板scoreboard统计接收到的抽象数据中电源状态是否已经覆盖，并将抽象的数据发送至coverage模块，之后输出文档记录信息；步骤四，coverage模块将接受到的抽象数据与阈值进行对比，并将抽象数据通过数据库动态反馈至测试用例，测试用例对抽象数据进行仿真处理，仿真结束前在发送对应的数据包时对coverage模块反馈的抽象数据进行判断，当满足仿真结束要求时，本次仿真即可结束，否则，测试用例继续产生新的数据包并通过sequencer模块发送至driver模块；步骤五，driver模块将验证环境中的抽象数据包转换为信号级的数据，并发送至待测芯片，进行并完成仿真验证。