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.:
Date of Patent:
Sep. 25, 2007
Filed:
Sep. 15, 2004
Praveen Kumar Murthy, Fremont, CA (US);
Sreeranga P. Rajan, Sunnyvale, CA (US);
Koichiro Takayama, Tokyo, JP;
Praveen Kumar Murthy, Fremont, CA (US);
Sreeranga P. Rajan, Sunnyvale, CA (US);
Koichiro Takayama, Tokyo, JP;
Fujitsu Limited, Kawasaki, JP;
Abstract
A method for high level validation of a design includes receiving input associated with a design; generating a message diagram in response to the input, wherein the message diagram describes a relationship of messages communicated between multiple processes; resolving at least one scenario from the message diagram, wherein the scenario comprises a particular sequence of messages identified by the message diagram; generating a state machine operable to receive and transmit at least some of the messages identified by the message diagram according to the scenario; and testing an implementation of the design using the state machine.