会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 6. 发明授权
    • Methods for automatically generating assertions
    • 自动生成断言的方法
    • US07926020B1
    • 2011-04-12
    • US11672919
    • 2007-02-08
    • Yuan LuYunshan Zhu
    • Yuan LuYunshan Zhu
    • G06F17/50
    • G06F17/5045
    • One embodiment of the present invention provides a method that automatically generates assertions of a hardware design. The method includes accessing a trace and a set of predicates of the hardware design. Then, the trace is projected over the set of predicates to generate a second trace. Then, a new set of states of the second trace is computed and the result is represented as a logical formula. The formula is reduced by logic optimization techniques. And finally, a set of logical consequences of the logic formula is produced and each logical consequence is enumerated as an assertion.
    • 本发明的一个实施例提供一种自动产生硬件设计的断言的方法。 该方法包括访问硬件设计的跟踪和一组谓词。 然后,将轨迹投影在该组谓词上以生成第二个轨迹。 然后,计算第二个跟踪的新的一组状态,并将结果表示为逻辑公式。 该公式由逻辑优化技术减少。 最后,产生一组逻辑公式的逻辑后果,并将每个逻辑结果列举为一个断言。
    • 8. 发明授权
    • Systems, methods, and media for assertion-based verification of devices
    • 用于基于断言的设备验证的系统,方法和介质
    • US09135382B1
    • 2015-09-15
    • US13672477
    • 2012-11-08
    • Yuan LuNitin MhaskeYunshan Zhu
    • Yuan LuNitin MhaskeYunshan Zhu
    • G06F17/50
    • G06F17/5022G06F17/504
    • Systems and methods for functionally verifying the performance of a system on a chip (SOC) are provided herein. According to some embodiments, the methods may include at least the steps of analyzing a verification log, via a functional verification system, to determine signatures by correlating a pattern of at least one of triggered and untriggered assertions in one or more blocks of a plurality of blocks to behaviors of at least one of the SOC and the one or more blocks of the plurality of blocks. Exemplary methods also include categorizing signatures according to the behaviors, and storing similar signatures based upon the categorization in a database.
    • 本文提供了用于功能验证芯片上的系统(SOC)的性能的系统和方法。 根据一些实施例,所述方法可以至少包括以下步骤:经由功能验证系统分析验证日志,以通过将多个的一个或多个块中的触发和未触发断言中的至少一个的模式相关联来确定签名 阻止多个块中的SOC和一个或多个块中的至少一个的行为。 示例性方法还包括根据行为分类签名,并且基于数据库中的分类来存储类似的签名。
    • 9. 发明授权
    • Systems and methods for generating predicates and assertions
    • 用于生成谓词和断言的系统和方法
    • US08326778B1
    • 2012-12-04
    • US12649144
    • 2009-12-29
    • Yuan LuYunshan Zhu
    • Yuan LuYunshan Zhu
    • G06N5/00
    • G06N5/04
    • Systems and methods for deriving a predicate by constructing a logic formula from information recorded during test execution, optimizing the logic formula and computing the logical implication of the optimized logic formula. Systems and methods for deriving an assertion from a logical implication by substituting each predicate in the logical implication with corresponding design elements from a hardware design description, inserting the design elements into a target template, inserting a context-sensitive input of the target template based on design elements in the hardware design description and creating an instance name for an instantiation of the target template. Systems and methods for generating a set of clauses that are implied by a disjunctive normal formula of a set of cubes.
    • 通过从测试执行期间记录的信息构建逻辑公式来推导谓词的系统和方法,优化逻辑公式并计算优化的逻辑公式的逻辑含义。 通过用硬件设计描述中的相应设计元素代替逻辑含义中的每个谓词,将设计元素插入到目标模板中,基于目标模板插入目标模板的上下文相关输入,从逻辑含义导出断言的系统和方法 硬件设计描述中的设计元素,并为目标模板的实例创建实例名称。 用于生成由一组立方体的分离正态公式暗示的一组子句的系统和方法。