当今的许多片上系统(SoC)设备都旨在尽可能降低功耗。有多种技术可用于管理SoC设计中的电源，包括建立可独立控制的电源域。最常见的技术是为正在运行的应用程序当前不需要的域关闭电源(PSO)。虽然概念简单，但PSO很难正确实施。使用PSO验证SoC是一项重大挑战。本文提出了一种新颖的解决方案。存在自动生成自我验证C测试用例的技术，这些用例在仿真中的嵌入式处理器上运行，并在关闭和打开电源域的同时执行广泛的功能。这确保了PSO不会破坏芯片的运行，并使SoC更有可能在第一块硅片上投入生产。