会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 9. 发明申请
    • SYSTEM AND METHOD FOR VERIFYING RACE-DRIVEN REGISTERS
    • 用于验证驾驶注册的系统和方法
    • US20100095255A1
    • 2010-04-15
    • US12248765
    • 2008-10-09
    • John ThompsonMicael Bye
    • John ThompsonMicael Bye
    • G06F17/50
    • G06F17/5022G06F17/504
    • Embodiments include a system and method for generating RTL description of an electronic device provided for a design test and a test bench environment to drive stimulus into the electronic device, identifying at least one register to be verified during the design test, authoring a property list including a plurality of properties, wherein each property includes a cause and an effect, creating a new property instance upon receiving an enqueue cause, transitioning a property instance from a waiting state to a pending state based on a dequeue cause, advancing property instances from the pending state to an active state and then to an expired state based on a defined time window, creating a current solution space including a plurality of solutions, wherein each of the plurality of solutions includes a list of unused active effects, inserting property instances into each of the plurality of solutions when the property instance enters to active state, pruning solutions from the current solutions space which have not used a property instance entering the expired state, and computing a new solution space based on the current solution space and target transition.
    • 实施例包括用于生成为设计测试提供的电子设备的RTL描述的系统和方法,以及测试台环境以驱动对电子设备的刺激,识别在设计测试期间要验证的至少一个寄存器,创建属性列表,包括 多个属性,其中每个属性包括原因和效果,在接收到排队原因时创建新的属性实例,基于出队原因将属性实例从等待状态转换到挂起状态,从挂起状态推进属性实例 状态到活动状态,然后基于定义的时间窗口到达期满状态,创建包括多个解的当前解决方案空间,其中多个解决方案中的每个解决方案包括未使用的活动效果的列表,将属性实例插入到 当属性实例进入活动状态时的多个解决方案,从当前解决方案中修剪解决方案 没有使用属性实例进入过期状态的离子空间,以及基于当前解决方案空间和目标转换来计算新的解决方案空间。