System and method for scheduling TRS rules
    2.
    发明授权
    System and method for scheduling TRS rules 有权
    调度TRS规则的系统和方法

    公开(公告)号:US07647567B1

    公开(公告)日:2010-01-12

    申请号:US11047329

    申请日:2005-01-31

    IPC分类号: G06F9/45 G06F17/50

    CPC分类号: G06F17/505 G06F17/504

    摘要: A system and method for Term Rewriting System hardware design employs a scheduler that incorporates a preference order in scheduling conflicting rules. The scheduler schedules a conflicting rule to execute when its predicate is true, and it is preferred over other conflicting rules in the preference order. The preference order may be, in one embodiment, a user-specified preference order enumerated by a designer. Such an order may be chosen according to efficiency criteria, such that the conflicting rule most essential for efficient hardware will be scheduled to execute on a given state rather than less essential conflicting rules The system and method advantageously permits a schedule to be computed in a time frame polynomially related to the number of rules, and produces more predictable and more easily understood schedules than conventional methods.

    摘要翻译: 用于术语重写系统硬件设计的系统和方法使用调度器,该调度器在调度冲突规则中包含偏好顺序。 调度器调度冲突规则以在其谓词为真时执行,并且优先于优先级顺序中的其他冲突规则。 在一个实施例中,偏好顺序可以是由设计者枚举的用户指定的偏好顺序。 这样的顺序可以根据效率标准来选择,使得对有效硬件最重要的冲突规则将被调度为在给定状态下执行,而不是较不必要的冲突规则。系统和方法有利地允许在一段时间内计算进度 框架与规则数量多项式相关,并且比常规方法产生更可预测和更容易理解的时间表。