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:
Jun. 03, 2025
Filed:
Dec. 17, 2021
Sri International, Menlo Park, CA (US);
Bruno Dutertre, Mountain View, CA (US);
Susmit Jha, Redwood City, CA (US);
Huascar Sanchez, San Ramon, CA (US);
Patrick Lincoln, Woodside, CA (US);
Eric M. Pearson, Redwood City, CA (US);
Richard Dean, Los Altos, CA (US);
Ian A. Mason, La Selva Beach, CA (US);
SRI International, Menlo Park, CA (US);
Abstract
Processing circuitry is configured to obtain a data structure that defines a plurality of conversions of data between pairs of fields; perform a search to identify a plurality of paths from a source node of the data structure to a destination node of the data structure, wherein the source node corresponds to a first field of the fields and the destination node corresponds to a second field of the fields; convert, for each path of the plurality of paths, transforms represented by corresponding edges of the path to a sequence of transforms that conform to a solver format; process the sequence of transforms for each path to determine whether all paths of the plurality of paths are equivalent up to an equivalence relation; and output an indication of whether all paths of the plurality of paths are equivalent up to an equivalence relation.