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:
Jul. 10, 2012
Filed:
Aug. 26, 2010
Jerome R. Cox, Jr., St. Louis, MO (US);
Michael B. Grote, St. Louis, MO (US);
Jerome R. Cox, Jr., St. Louis, MO (US);
Michael B. Grote, St. Louis, MO (US);
Blended Integrated Circuit Systems, LLC, St. Louis, MO (US);
Abstract
The integrity of a control network for providing reliable communications between different entities is verified. Such a verified control network may be included in a device, system, or design library. The verification of a control network includes, but is not limited to: physically exercising the control network itself and/or its design via modeling, analysis, and/or applying or using other testing or design verification methodologies. For example, a Petri net model of the control network may be analyzed to verify that the control signals cannot be generated which could interfere with each other, that a deadlock condition cannot be reached, and that a control signal on an input port will result in a control signal on an output port, albeit possibly delayed.