会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 4. 发明申请
    • DETECTING AND CORRECTING OUT-OF-ORDER STATE ACCESSES USING DATA
    • 使用数据检测和校正超出状态的访问
    • US20100250227A1
    • 2010-09-30
    • US12749595
    • 2010-03-30
    • Derek ChiouHari AngepatNikhil Patil
    • Derek ChiouHari AngepatNikhil Patil
    • G06G7/62
    • G06F11/28
    • A method, computer program product and system for detecting that a functional model execution is out-of-order with respect to a target execution. A value of a store instruction to be stored in a memory address, where the store instruction is executed by the functional model, is received by the timing model. This value is stored by the timing model in a target oracle memory at a time when the target system would execute the store instruction. The timing model compares the value in the target oracle memory with the value of a load instruction to be loaded from the same memory address, which is received from the functional model, at a time when the target system would execute the load instruction. The timing model detects an out-of-order instruction stream with respect to the target instruction stream if there is a miscomparison.
    • 一种用于检测功能模型执行相对于目标执行无序的方法,计算机程序产品和系统。 由定时模型接收要存储在由功能模型执行存储指令的存储器地址中的存储指令的值。 当目标系统执行存储指令时,该值由定时模型存储在目标oracle内存中。 定时模型在目标系统执行加载指令时将目标oracle内存中的值与从功能模型接收的同一内存地址加载的加载指令的值进行比较。 如果存在错误比较,则定时模型检测相对于目标指令流的无序指令流。