发明授权
- 专利标题: Race condition ordering and functional verification system and method
- 专利标题(中): 竞赛条件排序和功能验证系统及方法
-
申请号: US09252176申请日: 1999-02-18
-
公开(公告)号: US06738737B1公开(公告)日: 2004-05-18
- 发明人: Hamilton B. Carter
- 申请人: Hamilton B. Carter
- 主分类号: G06F1750
- IPC分类号: G06F1750
摘要:
An event sequencer for a functional mechanism contains a list of signatures and corresponding priority designations, and an event list containing event information from race condition events that are to be re-ordered. A method for sequencing race condition events, includes storing signatures for identifying predetermined events, storing priority designations corresponding to the signatures to enable identification of relative priorities between identified events, detecting at least first and second events and information about each event, storing only upon signature match the events and event information associated with each event, sorting the events, and sending the sorted events to a functional mechanism. Events are compared with stored signatures, and signature matches are determined. The arrival of events is detected, events are compared with stored signatures, and matches between events and signatures are established.
信息查询