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 7945888 B1

PDF
Full Text
Expired
Date of Patent:
May. 17, 2011

Filed:

Feb. 28, 2008
Applicants:

Allon Adir, Kiryat Tivon, IL;

Gil Eliezer Shurek, Haifa, IL;

Inventors:

Allon Adir, Kiryat Tivon, IL;

Gil Eliezer Shurek, Haifa, IL;

Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06F 17/50 (2006.01); G06F 9/44 (2006.01); G06F 9/455 (2006.01); G06F 11/22 (2006.01);
U.S. Cl.
CPC ...
Abstract

Device, system and method for verification of a hardware system-under-test including at least one processor. A method includes building an executable image of a hardware exerciser adapted for execution on a test platform selected from: a simulation accelerator, a hardware emulator, a prototype hardware system, and a hardware production wafer. The exerciser image includes embedded data corresponding to architectural knowledge, testing knowledge, and a test template. The test template is defined in a context-free formal language and includes biasing directives to influence at least one of a desired test structure, one or more resources to be included in the test, and one or more values of the included resources. The architectural knowledge is obtained from an architectural model including a formal description of the specification for the system-under-test, and the testing knowledge is obtained from a testing knowledgebase including heuristics for testing desired aspects of the system-under-test.


Find Patent Forward Citations

Adir, Allon. (2011). Model-based hardware exerciser, device, system and method thereof (U.S. Patent No. 7945888). U.S. Patent and Trademark Office. https://idiyas.com/patent/badge/7945888

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

Loading…