Patents by Inventor Stephen T. Ward

Stephen T. Ward has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Assertion-based transaction recording
    Patent number: 7055116
    Abstract: An assertion based transaction recording method is used to represent a signal-level transaction having a prefix and a suffix as an abstract transaction. The method models the signal-level transaction as an assertion requiring that the transaction suffix must occur following any occurrence of the transaction prefix. A finite-state-machine (FSM) implementation of the assertion records a tentative abstract transaction upon recognizing the first condition of the prefix. If the FSM recognizes that the prefix cannot complete, it cancels, or deletes, the tentative abstract transaction record. The implementation can track multiple tentative abstract transaction records that may co-exist prior to completion of the transaction prefix. Upon recognizing that the transaction prefix corresponding to the start point of the tentative abstract transaction has completed, the tentative abstract transaction record is committed.
    Type: Grant
    Filed: May 28, 2003
    Date of Patent: May 30, 2006
    Assignee: Cadence Design Systems, Inc.
    Inventors: Franz Erich Marschner, James M. Lawrence, Stephen T. Ward
  • Assertion-based transaction recording
    Publication number: 20030226124
    Abstract: An assertion based transaction recording method is used to represent a signal-level transaction having a prefix and a suffix as an abstract transaction. The method models the signal-level transaction as an assertion requiring that the transaction suffix must occur following any occurrence of the transaction prefix. A finite-state-machine (FSM) implementation of the assertion records a tentative abstract transaction upon recognizing the first condition of the prefix. If the FSM recognizes that the prefix cannot complete, it cancels, or deletes, the tentative abstract transaction record. The implementation can track multiple tentative abstract transaction records that may co-exist prior to completion of the transaction prefix. Upon recognizing that the transaction prefix corresponding to the start point of the tentative abstract transaction has completed, the tentative abstract transaction record is committed.
    Type: Application
    Filed: May 28, 2003
    Publication date: December 4, 2003
    Applicant: Cadence Design Systems, Inc.
    Inventors: Franz Erich Marschner, James M. Lawrence, Stephen T. Ward