会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明授权
    • Mixed mode verifier
    • 混合模式验证器
    • US07360187B2
    • 2008-04-15
    • US11242599
    • 2005-09-30
    • Kevin D. JonesThomas J. ShefflerKathryn M. MossawirQiang HongPaul WongJing Jiang
    • Kevin D. JonesThomas J. ShefflerKathryn M. MossawirQiang HongPaul WongJing Jiang
    • G06F17/50
    • G06F17/504
    • A method and system for formally verifying designs having elements from more than a single design domain is described. An example system allows formal verification of a design containing mixed analog and digital subparts. The system may use different proof engines to solve an appropriate sub-partition of the entire design, and may provide a framework for translating between the different domains to create a unified result. For example, a digital proof engine may be used for a digital only subpart, while an analog proof engine may be used for an analog only subpart. The system may use the partitioning results to determine translators between the various domains, and an order in which the proof engines are applied.
    • 描述了用于正式验证来自多于单个设计域的元件的设计的方法和系统。 示例系统允许对包含混合模拟和数字子部件的设计进行形式验证。 系统可以使用不同的证明引擎来解决整个设计的适当子分区,并且可以提供用于在不同域之间进行翻译以创建统一结果的框架。 例如,数字证明引擎可以用于仅数字的子部件,而模拟证明引擎可以用于仅模拟子部件。 系统可以使用分区结果来确定各个域之间的翻译器以及应用证明引擎的顺序。