用于设计模型的基于覆盖的自动化的测试用例增广的系统和方法

    公开(公告)号:CN107025170B

    公开(公告)日:2021-11-16

    申请号:CN201710056954.8

    申请日:2017-01-26

    IPC分类号: G06F11/36

    摘要: 一种用于自动化的测试用例增广的方法,所述方法包括在自动化测试增广系统从基于模型的开发工具来接收设计模型和模型覆盖间隙信息,将模型覆盖间隙信息转化为机器可读数学测试目标表达式,通过转化机器可读数学测试目标表达式来开发一组测试目标算子,定位设计模型内的所识别的覆盖间隙的对象算子,将测试目标算子附连到设计模型的对象算子以创建测试模型,通过将在对象算子的测试目标传播到设计模型的测试节点算子来增广测试模型,以及由测试生成器来运行增广的测试模型以得到测试用例,来覆盖所述覆盖间隙和模型覆盖间隙的原因。还公开用于实现基于模型的设计的系统和非暂时计算机可读介质。

    用于控制多个功率半导体器件的系统和方法

    公开(公告)号:CN115173681A

    公开(公告)日:2022-10-11

    申请号:CN202210572976.0

    申请日:2016-12-28

    IPC分类号: H02M1/088

    摘要: 一种功率变换系统包括:多个功率器件;以及传感器,所述传感器操作地耦接到所述多个功率器件中的至少一个,并被配置成检测与所述多个功率器件关联的电压、电流或电磁特征信号。所述功率变换器还可包括操作地耦接到所述多个功率器件和所述传感器的电路。所述电路可以将相应的门极信号发送至所述多个功率器件中的每个相应功率器件,使得每个相应门极信号被延迟相应的补偿延迟,所述补偿延迟是基于所述相应功率器件的相应时间延迟和所述多个功率器件的最大时间延迟对所述相应功率器件确定的。

    用于设计模型的基于覆盖的自动化的测试用例增广的系统和方法

    公开(公告)号:CN107025170A

    公开(公告)日:2017-08-08

    申请号:CN201710056954.8

    申请日:2017-01-26

    IPC分类号: G06F11/36

    摘要: 一种用于自动化的测试用例增广的方法,所述方法包括在自动化测试增广系统从基于模型的开发工具来接收设计模型和模型覆盖间隙信息,将模型覆盖间隙信息转化为机器可读数学测试目标表达式,通过转化机器可读数学测试目标表达式来开发一组测试目标算子,定位设计模型内的所识别的覆盖间隙的对象算子,将测试目标算子附连到设计模型的对象算子以创建测试模型,通过将在对象算子的测试目标传播到设计模型的测试节点算子来增广测试模型,以及由测试生成器来运行增广的测试模型以得到测试用例,来覆盖所述覆盖间隙和模型覆盖间隙的原因。还公开用于实现基于模型的设计的系统和非暂时计算机可读介质。

    用于控制多个功率半导体器件的系统和方法

    公开(公告)号:CN108886321A

    公开(公告)日:2018-11-23

    申请号:CN201680077283.7

    申请日:2016-12-28

    IPC分类号: H02M1/088

    CPC分类号: H02M1/088

    摘要: 一种功率变换系统包括:多个功率器件;以及传感器,所述传感器操作地耦接到所述多个功率器件中的至少一个,并被配置成检测与所述多个功率器件关联的电压、电流或电磁特征信号。所述功率变换器还可包括操作地耦接到所述多个功率器件和所述传感器的电路。所述电路可以将相应的门极信号发送至所述多个功率器件中的每个相应功率器件,使得每个相应门极信号被延迟相应的补偿延迟,所述补偿延迟是基于所述相应功率器件的相应时间延迟和所述多个功率器件的最大时间延迟对所述相应功率器件确定的。