现在的SoC设备越来越注重低功耗设计,为此采用了多种管理电源的技术,其中一种常见的是PSO。然而,要正确实施PSO是很困难的。本文提出了一种新的解决方案,可自动生成自我验证C测试用例,这些用例在仿真中的嵌入式处理器上运行,并在关闭和打开电源域的同时执行广泛的功能,以保证PSO不会破坏芯片运行。这种方法使得SoC更有可能在第一块硅片上成功进入生产。