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.

Date of Patent:
Apr. 02, 2019

Filed:

May. 08, 2014
Applicant:

Micro Motion, Inc., Boulder, CO (US);

Inventors:

Paul J Hays, Lafayette, CO (US);

Dawn Kelsch, Broomfield, CO (US);

Assignee:

Micro Motion, Inc., Boulder, CO (US);

Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06F 8/41 (2018.01); G06F 11/07 (2006.01); G06F 11/14 (2006.01);
U.S. Cl.
CPC ...
G06F 11/1492 (2013.01); G06F 8/41 (2013.01); G06F 11/0796 (2013.01); G06F 11/1487 (2013.01); G06F 11/1497 (2013.01); G06F 2201/805 (2013.01); G06F 2201/865 (2013.01);
Abstract

A method and device for performing failsafe computation, and a method of compiling code to perform a failsafe computation are provided. The method includes performing a first calculation () to generate a first result (). A second calculation () is performed using a scalar () and the first calculation () to generate a second result (). The second calculation () includes multiplying the first calculation () by the scalar () to generate a scaled result, and dividing the scaled result by the scalar () to generate the second result (). The first result () and the second result () are compared to determine if they are equivalent.


Find Patent Forward Citations

Loading…