虚拟化的验证环境、验证方法、计算机设备及存储介质

本申请提供一种虚拟化的验证环境、验证方法、计算机设备及存储介质，验证环境包括：时钟控制器、时钟门控单元、代理模块、Q‑Channel模型；其中：模型用于执行以下功能：向时钟控制器输出状态信号；接收时钟门控单元输出的时钟信号，接收时钟控制器输出的请求信号；与时钟控制器完成握手，并根据状态信号确定是否执行请求信号的请求，以在模型与时钟控制器完成握手后，验证模型中的时钟信号。其中，请求信号由时钟控制器在接收到使能信号和状态信号的情况下自动发起；请求信号包括进入低功耗状态请求或退出低功耗状态请求。本申请可以实现自动握手，无需在激励端考虑握手信号的输出逻辑，减少了代码量，且提高了覆盖率。