会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明授权
    • Detecting reducible registers
    • 检测可还原寄存器
    • US07412677B1
    • 2008-08-12
    • US11360739
    • 2006-02-22
    • Valavan ManohararajahGordon R. ChiuDeshanand SinghStephen Brown
    • Valavan ManohararajahGordon R. ChiuDeshanand SinghStephen Brown
    • G06F17/50
    • G06F17/505G06F17/504G06F2217/84
    • Reducible registers are determined to optimize a sequential circuit. A screening method tests one or more sets of registers where the registers of each set are assumed to satisfy a logic condition. The tests determine if the logic condition holds. If the logic condition of a set is found to be violated, the registers may be moved to another set having a different logic condition or removed completely. The registers remaining are potentially reducible. The reducibility of the registers is verified via Boolean analysis by verifying the logic conditions of a register set for each register. If a register does not pass verification, it then may be moved to a different set having a different logic condition or removed completely. The sets that pass verification are reducible.
    • 确定可减少寄存器以优化顺序电路。 一种筛选方法测试一组或多组寄存器,其中假设每个寄存器的寄存器满足逻辑条件。 测试确定逻辑条件是否成立。 如果发现集合的逻辑条件被违反,则可以将寄存器移动到具有不同逻辑条件的另一集合或完全移除。 剩余的寄存器是可以减少的。 通过布尔分析来验证寄存器的可复原性,通过验证每个寄存器的寄存器集的逻辑条件。 如果寄存器不通过验证,则可以将其移动到具有不同逻辑条件的不同集合或完全移除。 通过验证的集合是可以减少的。