Patent ID: 7055116
Filing Date: 2006-05-30
Classification: G06F

Abstract:
1. A method for recording an abstract transaction representing a signal-level transaction having a transaction perfix and a transaction suffix, the method comprising: modeling the signal level transaction as an assertion wherein the transaction suffix occurs following an occurrence of the transaction prefix; performing a finite-state-machine (FSM) implementation of the assertion to record a tentative abstract transaction upon recognizing the first condition of the transaction prefix; performing the FSM implementation of the assertion to cancel or delete the tentative abstract transaction record upon recognizing that the transaction prefix of the transaction cannot complete; performing the FSM implementation of the assertion to track multiple tentative abstract transaction records that may co-exist prior to completion of the transaction prefix; performing the FSM implementation of the assertion to commit one tentative abstract transaction record upon recognizing that the transaction prefix corresponding to a start point of the tentative abstract transaction record has completed; and performing the FSM implementation of the assertion to cancel other outstanding tentative abstract transaction record upon committing the one tentative abstract transaction record corresponding to the transaction prefix that has completed.