会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 3. 发明授权
    • Two pass test case generation using self-modifying instruction replacement
    • 双通测试用例生成使用自修改指令替换
    • US08516229B2
    • 2013-08-20
    • US12700970
    • 2010-02-05
    • Allon AdirBrad Lee HeroldJohn Martin LuddenPedro Martin-de-NicolasCharles Leverett MeissnerGil Eliezer Shurek
    • Allon AdirBrad Lee HeroldJohn Martin LuddenPedro Martin-de-NicolasCharles Leverett MeissnerGil Eliezer Shurek
    • G06F9/44
    • G06F9/3816G06F9/3005
    • A test code generation technique that replaces instructions having a machine state dependent result with special redirection instructions provides generation of test code in which state dependent execution choices are made without a state model. Redirection instructions cause execution of a handler than examines the machine state and replaces the redirection instruction with a replacement instruction having a desired result resolved in accordance with the current machine state. The instructions that are replaced may be conditional branch instructions and the result a desired execution path. The examination of the machine state permits determination of a branch condition for the replacement instruction so that the next pass of the test code executes along the desired path. Alternatively, the handler can execute a jump to the branch instruction, causing immediate execution of the desired branch path. The re-direction instructions may be illegal instructions, which cause execution of an interrupt handler that performs the replacement.
    • 使用特殊重定向指令替代具有机器状态相关结果的指令的测试代码生成技术提供测试代码的生成,其中在不使用状态模型的情况下进行状态相关的执行选择。 重定向指令导致处理程序的执行,而不是检查机器状态,并根据当前机器状态用具有期望结果的替换指令替换重定向指令。 被替换的指令可以是条件分支指令,并且结果是可能的执行路径。 对机器状态的检查允许确定替换指令的分支条件,使得测试代码的下一遍沿着期望的路径执行。 或者,处理程序可以执行跳转到分支指令,导致立即执行所需的分支路径。 重定向指令可能是非法指令,这些指令导致执行替换的中断处理程序的执行。
    • 4. 发明申请
    • System and Method of Automating the Addition of RTL Based Critical Timing Path Counters to Verify Critical Path Coverage of Post-Silicon Software Validation Tools
    • 自动添加基于RTL的关键定时路径计数器的系统和方法,以验证硅片后软件验证工具的关键路径覆盖
    • US20090112557A1
    • 2009-04-30
    • US11927846
    • 2007-10-30
    • Matthew Edward KingCharles Leverett MeissnerTodd SwansonMichael Ellett Weissinger
    • Matthew Edward KingCharles Leverett MeissnerTodd SwansonMichael Ellett Weissinger
    • G06F17/50
    • G06F17/5031
    • A system and method for modifying a simulation model and optimizing an application program to produce valid hardware-identified operating conditions that are matched with simulator-identified operating conditions in order to modify a simulator accordingly is presented. A critical path coverage analyzer includes critical path measurement logic into a simulation model that injects errors into the critical path and provides visibility into the number of times that an application program exercises the critical path. The critical path coverage analyzer uses the critical path measurement logic to optimize an application program to adequately exercise and test the critical paths. Once optimized, the critical path coverage analyzer runs the optimized application program on a hardware device to produce hardware-identified operating conditions. The hardware-identified operating conditions are matched against simulator-identified operating conditions. When discrepancies exist, the simulator is modified accordingly to match the hardware-identified operating conditions.
    • 提出了一种系统和方法,用于修改仿真模型并优化应用程序以产生与模拟器识别的操作条件匹配的有效的硬件识别的操作条件,以便相应地修改模拟器。 关键路径覆盖分析器将关键路径测量逻辑包括到将模拟错误注入到关键路径中的模拟模型中,并提供对应用程序执行关键路径的次数的可见性。 关键路径覆盖分析仪使用关键路径测量逻辑来优化应用程序,以充分运行和测试关键路径。 一旦优化,关键路径覆盖分析仪在硬件设备上运行优化的应用程序,以产生硬件识别的操作条件。 硬件识别的操作条件与模拟器识别的操作条件匹配。 当存在差异时,相应地修改模拟器以匹配硬件识别的操作条件。
    • 5. 发明申请
    • TWO PASS TEST CASE GENERATION USING SELF-MODIFYING INSTRUCTION REPLACEMENT
    • 使用自我修改指示替换的两次测试案例生成
    • US20110197049A1
    • 2011-08-11
    • US12700970
    • 2010-02-05
    • Allon AdirBrad Lee HeroldJohn Martin LuddenPedro Martin-de-NicolasCharles Leverett MeissnerGil Eliezer Shurek
    • Allon AdirBrad Lee HeroldJohn Martin LuddenPedro Martin-de-NicolasCharles Leverett MeissnerGil Eliezer Shurek
    • G06F9/38
    • G06F9/3816G06F9/3005
    • A test code generation technique that replaces instructions having a machine state dependent result with special redirection instructions provides generation of test code in which state dependent execution choices are made without a state model. Redirection instructions cause execution of a handler than examines the machine state and replaces the redirection instruction with a replacement instruction having a desired result resolved in accordance with the current machine state. The instructions that are replaced may be conditional branch instructions and the result a desired execution path. The examination of the machine state permits determination of a branch condition for the replacement instruction so that the next pass of the test code executes along the desired path. Alternatively, the handler can execute a jump to the branch instruction, causing immediate execution of the desired branch path. The re-direction instructions may be illegal instructions, which cause execution of an interrupt handler that performs the replacement.
    • 使用特殊重定向指令替代具有机器状态相关结果的指令的测试代码生成技术提供测试代码的生成,其中在不使用状态模型的情况下进行状态相关的执行选择。 重定向指令导致处理程序的执行,而不是检查机器状态,并根据当前机器状态用具有期望结果的替换指令替换重定向指令。 被替换的指令可以是条件分支指令,并且结果是可能的执行路径。 对机器状态的检查允许确定替换指令的分支条件,使得测试代码的下一遍沿着期望的路径执行。 或者,处理程序可以执行跳转到分支指令,导致立即执行所需的分支路径。 重定向指令可能是非法指令,这些指令导致执行替换的中断处理程序的执行。
    • 6. 发明授权
    • System and method of automating the addition of RTL based critical timing path counters to verify critical path coverage of post-silicon software validation tools
    • 自动添加基于RTL的关键定时路径计数器的系统和方法,以验证后硅软件验证工具的关键路径覆盖
    • US07895029B2
    • 2011-02-22
    • US11927846
    • 2007-10-30
    • Matthew Edward KingCharles Leverett MeissnerTodd SwansonMichael Ellett Weissinger
    • Matthew Edward KingCharles Leverett MeissnerTodd SwansonMichael Ellett Weissinger
    • G06F17/50
    • G06F17/5031
    • A system and method for modifying a simulation model and optimizing an application program to produce valid hardware-identified operating conditions that are matched with simulator-identified operating conditions in order to modify a simulator accordingly is presented. A critical path coverage analyzer includes critical path measurement logic into a simulation model that injects errors into the critical path and provides visibility into the number of times that an application program exercises the critical path. The critical path coverage analyzer uses the critical path measurement logic to optimize an application program to adequately exercise and test the critical paths. Once optimized, the critical path coverage analyzer runs the optimized application program on a hardware device to produce hardware-identified operating conditions. The hardware-identified operating conditions are matched against simulator-identified operating conditions. When discrepancies exist, the simulator is modified accordingly to match the hardware-identified operating conditions.
    • 提出了一种系统和方法,用于修改仿真模型并优化应用程序以产生与模拟器识别的操作条件匹配的有效的硬件识别的操作条件,以便相应地修改模拟器。 关键路径覆盖分析器将关键路径测量逻辑包括到将模拟错误注入到关键路径中的模拟模型中,并提供对应用程序执行关键路径的次数的可见性。 关键路径覆盖分析仪使用关键路径测量逻辑来优化应用程序,以充分运行和测试关键路径。 一旦优化,关键路径覆盖分析仪在硬件设备上运行优化的应用程序,以产生硬件识别的操作条件。 硬件识别的操作条件与模拟器识别的操作条件匹配。 当存在差异时,相应地修改模拟器以匹配硬件识别的操作条件。