会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 9. 发明授权
    • Monitoring coverage for static modelling of an electronic device
    • 监控电子设备静态建模的覆盖范围
    • US09104826B2
    • 2015-08-11
    • US14078857
    • 2013-11-13
    • Huy NguyenAlan J. CarlinHugo M. Cavalcanti
    • Huy NguyenAlan J. CarlinHugo M. Cavalcanti
    • G06F17/50
    • G06F17/5045G06F17/5022G06F17/5027G06F17/505
    • A design verification system automatically identifies coverage of different constraints for a static model of an electronic device. The static model can be employed by a tool, referred to as a solver, that identifies whether the mathematical relationships of the static model can be reconciled, given a set of user-defined constraints that indicate a desired configuration, or range of configurations, of the electronic device. After a solution for a particular set of user-defined constraints has been identified, a constraints adjustment module can identify, based on coverage information generated by the solver, if other sets of user-defined constraints were implicitly solved by the solver. If such other sets were implicitly solved, the adjustments module can mark the sets as solved, such that they will omitted from constraints used for subsequent solutions of the solver.
    • 设计验证系统自动识别电子设备的静态模型的不同约束的覆盖。 静态模型可以被称为解算器的工具使用,该工具识别静态模型的数学关系是否可以协调,给定一组用户定义的约束,指示所需的配置或配置范围 电子设备。 在已经确定了用于特定用户定义的约束集合的解决方案之后,约束调整模块可以基于求解器生成的覆盖信息来识别其他用户定义的约束集合是否由解算器隐含地解决。 如果这些其他集合被隐含地解决,则调整模块可以将集合标记为已解决,使得它们将被从用于求解器的后续解的约束中省略。
    • 10. 发明申请
    • MONITORING COVERAGE FOR STATIC MODELLING OF AN ELECTRONIC DEVICE
    • 监控电子设备静态建模的覆盖
    • US20150135149A1
    • 2015-05-14
    • US14078857
    • 2013-11-13
    • Huy NguyenAlan J. CarlinHugo M. Cavalcanti
    • Huy NguyenAlan J. CarlinHugo M. Cavalcanti
    • G06F17/50
    • G06F17/5045G06F17/5022G06F17/5027G06F17/505
    • A design verification system automatically identifies coverage of different constraints for a static model of an electronic device. The static model can be employed by a tool, referred to as a solver, that identifies whether the mathematical relationships of the static model can be reconciled, given a set of user-defined constraints that indicate a desired configuration, or range of configurations, of the electronic device. After a solution for a particular set of user-defined constraints has been identified, a constraints adjustment module can identify, based on coverage information generated by the solver, if other sets of user-defined constraints were implicitly solved by the solver. If such other sets were implicitly solved, the adjustments module can mark the sets as solved, such that they will omitted from constraints used for subsequent solutions of the solver.
    • 设计验证系统自动识别电子设备的静态模型的不同约束的覆盖。 静态模型可以被称为解算器的工具使用,该工具识别静态模型的数学关系是否可以协调,给定一组用户定义的约束,指示所需的配置或配置范围 电子设备。 在已经确定了用于特定用户定义的约束集合的解决方案之后,约束调整模块可以基于求解器生成的覆盖信息来识别其他用户定义的约束集合是否由解算器隐含地解决。 如果这些其他集合被隐含地解决,则调整模块可以将集合标记为已解决,使得它们将被从用于求解器的后续解的约束中省略。