Patents by Inventor David M. Atoji

David M. Atoji 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).

  • Buckets of commands in a multiprocessor-based verification environment
    Patent number: 8196111
    Abstract: The present invention provides a method and system for providing a legal sequential combination of commands for verification testing of a computer system. Executable test commands are used to form sequentially ordered “buckets” of commands, wherein each bucket command sequence is legal under at least one rule. The buckets may be arranged in any sequential order, wherein a composite command sequence of the combined commands remains legal under the at least one rule. A further advantage of the invention is that wait/noop commands may be inserted within and between the buckets, extending the testing capabilities of the present invention into corner cases.
    Type: Grant
    Filed: January 11, 2008
    Date of Patent: June 5, 2012
    Assignee: International Business Machines Corporation
    Inventors: David M. Atoji, Ruchi Chandra, Robert B. Likovich, Jr.
  • Buckets of commands in a multiprocessor-based verification environment
    Patent number: 7398515
    Abstract: The present invention provides a method and system for providing a legal sequential combination of commands for verification testing of a computer system. Executable test commands are used to form sequentially ordered “buckets” of commands, wherein each bucket command sequence is legal under at least one rule. The buckets may be arranged in any sequential order, wherein a composite command sequence of the combined commands remains legal under the at least one rule. A further advantage of the invention is that wait/noop commands may be inserted within and between the buckets, extending the testing capabilities of the present invention into corner cases.
    Type: Grant
    Filed: July 16, 2003
    Date of Patent: July 8, 2008
    Assignee: International Business Machines Corporation
    Inventors: David M. Atoji, Ruchi Chandra, Robert B. Likovich, Jr.