一个UPF低功耗仿真的简单例子

didiaolanse

感谢分享，请问第三个截图最后一段命令是什么？看不大清楚，还有这是UPF 2.X？

jyaray

说的挺好的。例子简单也实用。可以再介绍一下各种option，比如-lps_verbose等。
一般upf脚本后端会出，对验证来说，主要是验证低功耗流程是否符合预期，即，
①增加的low power流程不能影响芯片本身功能的正确性，比如通过电源关断来降低芯片功耗，则关断再打开后，芯片还可以正常work。这部分可以利用原有的self-check验证环境来确认。
②利用log文件分析，上述仿真命令-lps_verbose和UPF文件会为仿真输出与low power相关的warning, error以及assertion信息，通过log文件可以check流程的正确性；
③自动的assertion checker分析，使用-lps_verify选项可以自动检查电源关断顺序（隔离->复位->断电）和电源打开过程（上电->解复位->解隔离），如不满足该时序要求，会自动报错；
④利用覆盖率保证验证完备性，使用-lps_vplan选项依据UPF文件生成low power验证计划，通过波形查看工具提供的coverage接口，得到low power相关的功能覆盖率；