件信号时，该处理逻辑电路进入第三电源工作模式，并且将状态寄存器的值由第二电源工作模式的值变为第三电源工作模式的值；
[0073]该处理逻辑电路处于第二电源工作模式或第三电源工作模式并在软件配置控制器控制下接收到掉电条件信号时，该处理逻辑电路关闭第二时钟使能控制信号和第二复位使能控制信号以禁止将从总线驱动器接收的第二时钟信号和第二复位信号传输给待测电路，该处理逻辑电路进入第四电源工作模式，并且将状态寄存器的值由第二电源工作模式的值或第三电源工作模式的值变为第四电源工作模式的值；
[0074]该处理逻辑电路处于第四电源工作模式并在软件配置控制器控制下接收到上电条件信号时，该处理逻辑电路开启第一时钟使能控制信号和第一复位使能控制信号、第二时钟使能控制信号和第二复位使能控制信号以使能将从总线驱动器接收的第一时钟信号和第一复位信号、第二时钟信号和第二复位信号传输给待测电路，该处理逻辑电路进入第一电源工作模式，并且将状态寄存器的值由第四电源工作模式的值变为第一电源工作模式的值。
[0075]此后进入步骤302，断言监视器基于断言验证方法对待测电路进行监测。
[0076]在断言监视器监测完该待测电路所有需要监测的状态后，结束本流程。
[0077]在本实施方式验证装置的运行过程中，软件配置控制器根据测试文件控制总线驱动器对待测电路进行配置，并控制电源状态模拟器切换电源工作模式，断言监视器对该待测电路进行监测，不需要人为干预，大大提高了准确性，并且只需要改变连接信号即可对同一多电压系统的不同数字电路模块进行验证，不必受其他周围模块设计进度的制约，复用性好并且效率高。
[0078]本实施方式是与第一实施方式相对应的方法实施方式，本实施方式可与第一实施方式互相配合实施。第一实施方式中提到的相关技术细节在本实施方式中依然有效，为了减少重复，这里不再赘述。相应地，本实施方式中提到的相关技术细节也可应用在第一实施方式中。
[0079]综上，软件配置控制器产生控制命令，总线驱动器将控制命令转换为待测电路可识别的信号，电源状态模拟器接受可识别的信号，并选择与当前的电源工作模式相适应的信号输出给待测电路(例如电源工作模式的工作信号以及各电源模式的切换信号)。在该配置下，上述多电压域数字电路的验证装置及其运行方法具有以下优点:
[0080]1.验证更灵活。在多电压域数字电路设计完成后就可以进行功能上的验证，不必受其他周围模块设计进度的制约，发现问题可以及早进行更正。
[0081]2.环境复用性好。在芯片设计规格制定出来以后就可以根据电源管理系统的规格搭建电源管理模拟器。同一个系统的不同模块都是共用同一套电源管理系统，对于各个不同的多电压域数字电路，在设计电源管理模拟器时只要把电源各种状态和切换模拟，就可以在不同模块进行复用，所要修改的就是不同模块时需要的时钟、复位以及输入输出信号。
[0082]3.自动化程度高:本发明的验证装置在验证过程中基本上实现了完全的自动化。验证人员只用根据验证需求编写软件控制程序，此验证系统就会自动生成需要的激励，驱动待测电路动作。在运行中采用断言的方式自动对输入输出信号以及电路内部的信号进行检测，运行结束断言自动报告出电路错误的个数以及错误出现的具体位置以供调试。与现有的验证方法相比，将验证人员的人工干预降到了最小，节约了人员成本，同时也减少了人工干预带来的出错几率。
[0083]本发明的各方法实施方式均可以以软件、硬件、固件等方式实现。不管本发明是以软件、硬件、还是固件方式实现，指令代码都可以存储在任何类型的计算机可访问的存储器中(例如永久的或者可修改的，易失性的或者非易失性的，固态的或者非固态的，固定的或者可更换的介质等等)。同样，存储器可以例如是可编程阵列逻辑(Programmable ArrayLogic，简称“PAL”)、随机存取存储器(Random Access Memory，简称“RAM”)、可编程只读存储器(Programmable Read Only Memory,简称 “PROM”)、只读存储器(Read-Only Memory,简称“ROM”)、电可擦除可编程只读存储器(Electrically Erasable Programmable ROM,简称“EEPROM”)、磁盘、光盘、数字通用光盘(Digital Versatile Disc，简称“DVD”)等等。
[0084]需要说明的是，在本权利要求和说明书中，诸如第一和第二等之类的关系术语仅仅用来将一个实体或者操作与另一个实体或操作区分开来，而不一定要求或者暗示这些实体或操作之间存在任何这种实际的关系或者顺序。而且，术语“包括”、“包含”或者其任何其他变体意在涵盖非排他性的包含，从而使得包括一系列要素的过程、方法、物品或者设备不仅包括那些要素，而且还包括没有明确列出的其他要素，或者是还包括为这种过程、方法、物品或者设备所固有的要素。在没有更多限制的情况下，由语句“包括一个”限定的要素，并不排除在包括所述要素的过程、方法、物品或者设备中还存在另外的相同要素。
[0085]虽然通过参照本发明的某些优选实施方式，已经对本发明进行了图示和描述，但本领域的普通技术人员应该明白，可以在形式上和细节上对其作各种改变，而不偏离本发明的精神和范围。
【主权项】
1.一种多电压域数字电路的验证装置，其特征在于，该装置包括: 软件配置控制器，用于读取测试文件，根据所述测试文件控制总线驱动器通过电源状态模拟器对待测电路进行配置，并控制所述电源状态模拟器给所述待测电路提供多个电源工作模式和提供所述电源工作模式之间的切换操作； 总线驱动器； 电源状态模拟器，用于在所述多个电源工作模式的不同模式下，将从所述总线驱动器接收的信号选择性地传输给所述待测电路；以及 断言监视器，用于基于断言验证方法对所述待测电路进行监测。2.根据权利要求1所述的多电压域数字电路的验证装置，其特征在于，所述软件配置控制器用于控制所述电源状态模拟器通过开启相应的使能控制信号将从所述总线驱动器接收的相应工作电压下的时钟信号和复位信号传输给所述待测电路，以给所述待测电路提供相应电源工作模式下的时钟信号和复位信号。3.根据权利要求1所述的多电压域数字电路的验证装置，其特征在于，所述软件配置控制器用于控制所述电源状态模拟器产生用于切换所述电源工作模式的条件信号；和/或 所述软件配置控制器用于在所述电源工作模式下控制所述电源状态模拟器通过开启相应的使能控制信号，使所述电源状态模拟器从所述待测电路接收相应的输出信号以作为条件信号来切换所述电源工作模式。4.根据权利要求1所述的多电压域数字电路的验证装置，其特征在于，在所述多个电源工作模式的不同模式下，所述电源状态模拟器通过开启相应的使能控制信号将从所述总线驱动器接收的所述待测电路相应的输入信号传输给所述待测电路。5.根据权利要求1所述的多电压域数字电路的验证装置，其特征在于，所述断言监视器将覆盖到的和未覆盖到的验证点都进行记录和报告，并将违背待测电路功能的验证点进行记录和报告。6.根据权利要求1至5中任一项所述的多电压域数字电路的验证装置，其特征在于，所述电源状态模拟器包括状态寄存器和处理逻辑电路； 所述处理逻辑电路处于第一电源工作模式并在所述软件配置控制器控制下接收到待机条件信号时，所述处理逻辑电路关闭第一时钟使能控制信号和第一复位使能控制信号以禁止将从所述总线驱动器接收的第一时钟信号和第一复位信号传输给所述待测电路，所述处理逻辑电路进入第二电源工作模式，并且所述状态寄存器的值由第一电源工作模式的值变为第二电源工作模式的值； 所述处理逻辑电路处于第一电源工作模式并在所述软件配置控制器控制下接收到关机条件信号时，所述处理逻辑电路关闭第一时钟使能控制信号和第一复位使能控制信号以禁止将从所述总线驱动器接收的第一时钟信号和第一复位信号传输给所述待测电路，所述处理逻辑电路进入第三电源工作模式，并且所述状态寄存器的值由第一电源工作模式的值变为第三电源工作模式的值； 所述处理逻辑电路处于第一电源工作模式并在所述软件配置控制器控制下接收到掉电条件信号时，所述处理逻辑电路关闭第一时钟使能控制信号和第一复位使能控制信号、第二时钟使能控制信号和第二复位使能控制信号以禁止将从所述总线驱动器接收的第一时钟信号和第一复位信号、第二时钟信号和第二复位信号传输给所述待测电路，所述处理逻辑电路进入第四电源工作模式，并且所述状态寄存器的值由第一电源工作模式的值变为第四电源工作模式的值； 所述处理逻辑电路处于第二电源工作模式并