从所述待测电路接收到第一唤醒条件信号或在所述软件配置控制器控制下接收到开机条件信号时，所述处理逻辑电路开启第一时钟使能控制信号和第一复位使能控制信号以使能将从所述总线驱动器接收的第一时钟信号和第一复位信号传输给所述待测电路，所述处理逻辑电路进入第一电源工作模式，并且所述状态寄存器的值由第二电源工作模式的值变为第一电源工作模式的值； 所述处理逻辑电路处于第三电源工作模式并从所述待测电路接收到第二唤醒条件信号或在所述软件配置控制器控制下接收到开机条件信号时，所述处理逻辑电路开启第一时钟使能控制信号和第一复位使能控制信号以使能将从所述总线驱动器接收的第一时钟信号和第一复位信号传输给所述待测电路，所述处理逻辑电路进入第一电源工作模式，并且所述状态寄存器的值由第三电源工作模式的值变为第一电源工作模式的值； 所述处理逻辑电路处于第二电源工作模式并在所述软件配置控制器控制下接收到超时条件信号时，所述处理逻辑电路进入第三电源工作模式，并且所述状态寄存器的值由第二电源工作模式的值变为第三电源工作模式的值； 所述处理逻辑电路处于第二电源工作模式或第三电源工作模式并在所述软件配置控制器控制下接收到掉电条件信号时，所述处理逻辑电路关闭第二时钟使能控制信号和第二复位使能控制信号以禁止将从所述总线驱动器接收的第二时钟信号和第二复位信号传输给所述待测电路，所述处理逻辑电路进入第四电源工作模式，并且所述状态寄存器的值由第二电源工作模式的值或第三电源工作模式的值变为第四电源工作模式的值； 所述处理逻辑电路处于第四电源工作模式并在所述软件配置控制器控制下接收到上电条件信号时，所述处理逻辑电路开启第一时钟使能控制信号和第一复位使能控制信号、第二时钟使能控制信号和第二复位使能控制信号以使能将从所述总线驱动器接收的第一时钟信号和第一复位信号、第二时钟信号和第二复位信号传输给所述待测电路，所述处理逻辑电路进入第一电源工作模式，并且所述状态寄存器的值由第四电源工作模式的值变为第一电源工作模式的值。7.一种多电压域数字电路的验证装置的运行方法，其特征在于，所述装置包括软件配置控制器、总线驱动器、电源状态模拟器和断言监视器； 所述方法包括以下步骤: 所述软件配置控制器读取测试文件，根据所述测试文件控制所述总线驱动器通过所述电源状态模拟器对待测电路进行配置，并控制所述电源状态模拟器给所述待测电路提供多个电源工作模式和提供所述电源工作模式之间的切换操作； 所述断言监视器基于断言验证方法对所述待测电路进行监测； 其中，在所述多个电源工作模式的不同模式下，所述电源状态模拟器将从所述总线驱动器接收的信号选择性地传输给所述待测电路。8.根据权利要求7所述的多电压域数字电路的验证装置的运行方法，其特征在于，在所述软件配置控制器根据所述测试文件控制所述电源状态模拟器给所述待测电路提供多个电源工作模式的步骤中，所述软件配置控制器控制所述电源状态模拟器通过开启相应的使能控制信号将从所述总线驱动器接收的相应工作电压下的时钟信号和复位信号传输给所述待测电路，以给所述待测电路提供相应电源工作模式下的时钟信号和复位信号。9.根据权利要求7所述的多电压域数字电路的验证装置的运行方法，其特征在于，在所述软件配置控制器根据所述测试文件控制所述电源状态模拟器提供电源工作模式之间的切换操作的步骤中，所述软件配置控制器控制所述电源状态模拟器产生用于切换所述电源工作模式的条件信号；和/或 所述软件配置控制器在所述电源工作模式下控制所述电源状态模拟器通过开启相应的使能控制信号，使所述电源状态模拟器从所述待测电路接收相应的输出信号以作为条件信号来切换所述电源工作模式。10.根据权利要求7所述的多电压域数字电路的验证装置的运行方法，其特征在于，在所述多个电源工作模式的不同模式下，所述电源状态模拟器通过开启相应的使能控制信号将从所述总线驱动器接收的所述待测电路相应的输入信号传输给所述待测电路。11.根据权利要求7至10中任一项所述的多电压域数字电路的验证装置的运行方法，其特征在于，所述电源状态模拟器包括状态寄存器和处理逻辑电路； 在所述软件配置控制器根据所述测试文件控制所述电源状态模拟器给所述待测电路提供多个电源工作模式和提供所述电源工作模式之间的切换操作的步骤中包括以下子步骤: 所述处理逻辑电路处于第一电源工作模式并在所述软件配置控制器控制下接收到待机条件信号时，所述处理逻辑电路关闭第一时钟使能控制信号和第一复位使能控制信号以禁止将从所述总线驱动器接收的第一时钟信号和第一复位信号传输给所述待测电路，所述处理逻辑电路进入第二电源工作模式，并且将所述状态寄存器的值由第一电源工作模式的值变为第二电源工作模式的值； 所述处理逻辑电路处于第一电源工作模式并在所述软件配置控制器控制下接收到关机条件信号时，所述处理逻辑电路关闭第一时钟使能控制信号和第一复位使能控制信号以禁止将从所述总线驱动器接收的第一时钟信号和第一复位信号传输给所述待测电路，所述处理逻辑电路进入第三电源工作模式，并且将所述状态寄存器的值由第一电源工作模式的值变为第三电源工作模式的值； 所述处理逻辑电路处于第一电源工作模式并在所述软件配置控制器控制下接收到掉电条件信号时，所述处理逻辑电路关闭第一时钟使能控制信号和第一复位使能控制信号、第二时钟使能控制信号和第二复位使能控制信号以禁止将从所述总线驱动器接收的第一时钟信号和第一复位信号、第二时钟信号和第二复位信号传输给所述待测电路，所述处理逻辑电路进入第四电源工作模式，并且将所述状态寄存器的值由第一电源工作模式的值变为第四电源工作模式的值； 所述处理逻辑电路处于第二电源工作模式并从所述待测电路接收到第一唤醒条件信号或在所述软件配置控制器控制下接收到开机条件信号时，所述处理逻辑电路开启第一时钟使能控制信号和第一复位使能控制信号以使能将从所述总线驱动器接收的第一时钟信号和第一复位信号传输给所述待测电路，所述处理逻辑电路进入第一电源工作模式，并且将所述状态寄存器的值由第二电源工作模式的值变为第一电源工作模式的值； 所述处理逻辑电路处于第三电源工作模式并从所述待测电路接收到第二唤醒条件信号或在所述软件配置控制器控制下接收到开机条件信号时，所述处理逻辑电路开启第一时钟使能控制信号和第一复位使能控制信号以使能将从所述总线驱动器接收的第一时钟信号和第一复位信号传输给所述待测电路，所述处理逻辑电路进入第一电源工作模式，并且将所述状态寄存器的值由第三电源工作模式的值变为第一电源工作模式的值； 所述处理逻辑电路处于第二电源工作模式并在所述软件配置控制器控制下接收到超时条件信号时，所述处理逻辑电路进入第三电源工作模式，并且将所述状态寄存器的值由第二电源工作模式的值变为第三电源工作模式的值； 所述处理逻辑电路处于第二电源工作模式或第三电源工作模式并在所述软件配置控制器控制下接收到掉电条件信号时，所述处理逻辑电路关闭第二时钟使能控制信号和第二复位使能控制信号以禁止将从所述总线驱动器接收的第二时钟信号和第二复位信号传输给所述待测电路，所述处理逻辑电路进入第四电源工作模式，并且将所述状态寄存器的值由第二电源工作模式的值或第三电源工作模式的值变为第四电源工作模式的值； 所述处理逻辑电路处于第四电源工作模式并在所述软件配置控制器控制下接收到上电条件信号时，所述处理逻辑电路开启第一时钟使能控制信号和第一复位使能控制信号、第二时钟使能控制信号和第二复位使能控制信号以使能将从所述总线驱动器接收的第一时钟信号和第一复位信号、第二时钟信号和第二复位信号传输给所述待测电路，所述处理逻辑电路进入第一电源工作模式，并且将所述状态寄存器的值由第四电源工作模式的值变为第一电源工作模式的值。
【专利摘要】本发明涉及数字电路验证技术，公开了一种多电压域数字电路的验证装置及其运行方法。本发明中，该多电压域数字电路的验证装置包括软件配置控制器、总线驱动器、电源状态模拟器和断言监视器，上述软件配置控制器根据读取的测试文件控制总线驱动器对待测电路进行配置，并控制电源状态模拟器提供和切换电源工作模式，而断言监视器对该待测电路进行监测，不需要人为干预，在节省人力的同时大大提高了准确性，并且只需要改变所连接的各信号即可对同一多电压系统的不同数字电路模块进行验证，不必受其他周围模块设计进度的制约，复用性好并且效率高。
【IPC分类】G01R31/317
【公开号】CN105137330
【申请号】CN201410220198
【发明人】聂晶, 庞雪
【申请人】炬芯（珠海）科技有限公司
【公开日】2015年12月9日
【申请日】2014年5月22日