ower_on、power_off是人为模拟的信号。验证开始发出power_on信号,触动状态机开始运行,模拟系统上电。当状态机处于状态1、状态2和状态3时，随机一个时间长度发出power_off模拟电池掉电，触发状态机回到掉电模式“状态4”。信号唤醒I是电路自身产生的闹钟定时唤醒信号，因此直接把待测电路的输出信号接在状态机条件信号即可。而对于一般的中断控制模块(主要完成系统的中断控制以及唤醒控制功能)，此处的唤醒I信号又需要人为模拟而作为外部的唤醒操作。其余信号standby、timeout和οηο??也可类似地设置为人为模拟或待测电路输出的条件信号。
[0052]可以理解，以上仅为一种状态机设计的示例，本领域的人员也可以根据其他多电压域数字电路的工作状态以及状态间的切换来进行相应设置，不限于上述的设计。断言监视器用于基于断言验证方法对待测电路进行监测。该断言监视器将覆盖到的和未覆盖到的验证点都进行记录和报告，并将违背待测电路功能的验证点进行记录和报告。
[0053]可以理解，断言监视器是基于断言(Assert1n—种验证方法，它有一套自己的语法，可以把对设计的期望行为进行编码验证，可以创建对总线协议的详细检查)的功能监视器。通过分析待测电路的设计规格，提取验证点，并用断言语法进行功能点的描述。可以用此断言监视器监视待测电路内部和外部设计信号的正确性。对每个功能点的语法描述在检测到仿真过程中有违背设计要求的地方，断言就会自动报错，并具体指出出错位置以供快速有效的定位和调试。断言监视器内的每条断言也兼顾收集功能覆盖率的工作，对于验证中已经覆盖到的和未覆盖到的功能点都进行记录并报告出来。验证人员可以通过断言的覆盖率功能清晰地监视截至目前验证已经已经覆盖到哪些功能点，哪些功能还需要编写激励进行验证。
[0054]以下将以待测设计为实时时钟模块(在手机或mp3中，用于实现时钟和闹钟功能的模块)为例对上述验证装置作进一步的说明:
[0055]实时时钟模块内部有很多配置可以选择，例如是否开启闹钟，闹钟定时定成几点几分等等。软件配置控制器(相当于一台手机的CPU内核)，发出指令给总线驱动器，总线驱动器把指令程序转化成电路可以识别的总线时序信号(例如ahb信号)送给实时时钟电路。实际上就是一个给电路配置寄存器的操作。
[0056]对于实时时钟电路，配置完寄存器后就开始根据配置进行工作了。我们验证这种多电压电路时不光要验证开机时电路工作是否正常，还要验证关机时电路是否正常工作(计时是否正确、闹钟是否还可使用等)，并且还要验证从关机到开机、以及从开机到关机状态跳变时工作是否正常(是否会发出唤醒整个系统的信号等)。
[0057]为了模拟实际应用中这种状态的跳转，软件配置控制器通过发出指令来控制电源状态模拟器的状态切换。电源状态模拟器收到此控制指令后转化为控制信号，驱动内部状态机跳转。以关机的操作为例，软件配置控制器在等待一段随机时间后发出关机的指令，电源状态模拟器收到此指令以后，把关机指令转换为一定长度的条件信号p0Wer_0fT，状态机发现p0Wer_0fT信号有效时就会触发跳转到关机状态。但这个触发跳转过程只适应于本文中所说的条件信号的第一类(完全人为模拟的条件信号)。第二类条件信号是待测设计电路本身的输出信号。当然，可以理解，在本发明的各实施例中，可以仅使用第一类条件信号或第二类条件信号，或两类条件信号同时使用。
[0058]在本实施方式的验证过程中，软件配置控制器根据测试文件控制总线驱动器对待测电路进行配置，并控制电源状态模拟器切换电源工作模式，断言监视器对该待测电路进行监测，不需要人为干预，大大提高了准确性，并且只需要改变连接信号即可对同一多电压系统的不同数字电路模块进行验证，不必受其他周围模块设计进度的制约，复用性好并且效率高。
[0059]需要说明的是，本发明各设备实施方式中提到的各单元都是逻辑单元，在物理上，一个逻辑单元可以是一个物理单元，也可以是一个物理单元的一部分，还可以以多个物理单元的组合实现，这些逻辑单元本身的物理实现方式并不是最重要的，这些逻辑单元所实现的功能的组合才是解决本发明所提出的技术问题的关键。此外，为了突出本发明的创新部分，本发明上述各设备实施方式并没有将与解决本发明所提出的技术问题关系不太密切的单元引入，这并不表明上述设备实施方式并不存在其它的单元。
[0060]本发明第二实施方式涉及一种多电压域数字电路的验证装置的运行方法。图3是该多电压域数字电路的验证装置的运行方法的流程示意图。该多电压域数字电路的验证装置包括软件配置控制器、总线驱动器、电源状态模拟器和断言监视器。
[0061]如图3所示，上述方法包括以下步骤:
[0062]在步骤301中，软件配置控制器读取测试文件，根据测试文件控制总线驱动器通过电源状态模拟器对待测电路进行配置，并控制电源状态模拟器给待测电路提供多个电源工作模式和提供电源工作模式之间的切换操作。其中，在多个电源工作模式的不同模式下，电源状态模拟器将从总线驱动器接收的信号选择性地传输给待测电路。
[0063]通过使用电源状态模拟器模拟为多电压域数字电路正常工作提供必要条件的电压管理模块、时钟管理模块和复位管理模块的相关功能来实现数字电路的多电压环境，使得验证更灵活，并且通过软件配置控制器来控制电源工作模式的切换，自动化程度高，节省了人力。具体地说:
[0064]在步骤301中，软件配置控制器控制电源状态模拟器通过开启相应的使能控制信号将从总线驱动器接收的相应工作电压下的时钟信号和复位信号传输给待测电路，以给待测电路提供相应电源工作模式下的时钟信号和复位信号。并且在多个电源工作模式的不同模式下，电源状态模拟器通过开启相应的使能控制信号将从总线驱动器接收的待测电路相应的输入信号传输给待测电路。
[0065]在步骤301中，软件配置控制器控制电源状态模拟器产生用于切换电源工作模式的条件信号，和/或软件配置控制器在电源工作模式下控制电源状态模拟器通过开启相应的使能控制信号，使电源状态模拟器从待测电路接收相应的输出信号以作为条件信号来切换电源工作模式。
[0066]例如，上述电源状态模拟器包括状态寄存器和处理逻辑电路，在上述步骤301中包括以下子步骤:
[0067]该处理逻辑电路处于第一电源工作模式并在软件配置控制器控制下接收到待机条件信号时，该处理逻辑电路关闭第一时钟使能控制信号和第一复位使能控制信号以禁止将从总线驱动器接收的第一时钟信号和第一复位信号传输给待测电路，该处理逻辑电路进入第二电源工作模式，并且将状态寄存器的值由第一电源工作模式的值变为第二电源工作模式的值；
[0068]该处理逻辑电路处于第一电源工作模式并在软件配置控制器控制下接收到关机条件信号时，该处理逻辑电路关闭第一时钟使能控制信号和第一复位使能控制信号以禁止将从总线驱动器接收的第一时钟信号和第一复位信号传输给待测电路，该处理逻辑电路进入第三电源工作模式，并且将状态寄存器的值由第一电源工作模式的值变为第三电源工作模式的值；
[0069]该处理逻辑电路处于第一电源工作模式并在软件配置控制器控制下接收到掉电条件信号时，该处理逻辑电路关闭第一时钟使能控制信号和第一复位使能控制信号、第二时钟使能控制信号和第二复位使能控制信号以禁止将从总线驱动器接收的第一时钟信号和第一复位信号、第二时钟信号和第二复位信号传输给待测电路，该处理逻辑电路进入第四电源工作模式，并且将状态寄存器的值由第一电源工作模式的值变为第四电源工作模式的值；
[0070]该处理逻辑电路处于第二电源工作模式并从待测电路接收到第一唤醒条件信号或在软件配置控制器控制下接收到开机条件信号时，该处理逻辑电路开启第一时钟使能控制信号和第一复位使能控制信号以使能将从总线驱动器接收的第一时钟信号和第一复位信号传输给待测电路，该处理逻辑电路进入第一电源工作模式，并且将状态寄存器的值由第二电源工作模式的值变为第一电源工作模式的值；
[0071]该处理逻辑电路处于第三电源工作模式并从待测电路接收到第二唤醒条件信号或在软件配置控制器控制下接收到开机条件信号时，该处理逻辑电路开启第一时钟使能控制信号和第一复位使能控制信号以使能将从总线驱动器接收的第一时钟信号和第一复位信号传输给待测电路，该处理逻辑电路进入第一电源工作模式，并且将状态寄存器的值由第三电源工作模式的值变为第一电源工作模式的值；
[0072]该处理逻辑电路处于第二电源工作模式并在软件配置控制器控制下接收到超时条