The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.

The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.

Patent No.:

US 8196111 B1

PDF
Full Text
Expired
Date of Patent:
Jun. 05, 2012

Filed:

Jan. 11, 2008
Applicants:

David M. Atoji, Apex, NC (US);

Ruchi Chandra, Cary, NC (US);

Robert B. Likovich, Jr., Raleigh, NC (US);

Inventors:

David M. Atoji, Apex, NC (US);

Ruchi Chandra, Cary, NC (US);

Robert B. Likovich, Jr., Raleigh, NC (US);

Attorneys:
Primary Examiner:
Assistant Examiner:
Int. Cl.
CPC ...
G06F 9/44 (2006.01);
U.S. Cl.
CPC ...
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.


Find Patent Forward Citations

Atoji, David. (2012). Buckets of commands in a multiprocessor-based verification environment (U.S. Patent No. 8196111). U.S. Patent and Trademark Office. https://idiyas.com/patent/badge/8196111

Data source: USPTO (United States Patent and Trademark Office) public patent records. Weekly synchronization. How IDiyas builds this profile

Loading…