Google Inc.

Jetflow Technologies

Robert Coleman Springer, Iv

Sean Purser-Haskell

Shruthi Gorantala

Bryant Gipson

Brian Phillips

Christopher Daniel Leary

Brian Heilig

Rishi Lee Khan

Adam Markey

Mark Glines

Christopher Galen Lauderdale

Joel Denny

Methods, systems, and apparatus, including computer programs encoded on computer storage media for performing logic equivalence check on a circuit design are described. In one aspect, a method includes receiving a request for performing operations of a logical equivalence check of a circuit design and determining, based on one or more criteria, to perform the operations using pipeline stages. In response to the determination, a plurality of pipeline stages of the circuit design that is in a high level representation are determined. For each stage of the plurality of pipeline stages, data corresponding to a high level representation of the stage are obtained, and data corresponding to a low level representation of the stage that corresponds to the high level representation of the stage are obtained. The high level representation and the low level representation are compared. An output is generated based on the comparison.

Logical equivalence check for circuits

A method includes obtaining first code in a high-level programming language. The first code represents a first function for performing one or more operations on plaintext. The method also includes converting the first code into an intermediate representation comprising a list of nodes. Each node of the list of nodes includes one or more logical operations. The method also includes converting the intermediate representation into a Boolean intermediate representation that includes a plurality of single-bit logical operations. The method also includes transpiling the Boolean intermediate representation into second code in the high-level programming language. The second code represents a second function for performing, using fully homomorphic encryption (FHE), the one or more operations on ciphertext.

Fully homomorphic encryption transpiler for high-level languages

A data processing task may be implemented in a distributed computing system by the use of a workflow broken into flowlets that are arranged in a directed acyclic graph between data sources and data sinks. Such an arrangement may include various flow control and/or fault tolerance schemes, among other features.

Flowlet-based processing

Growing community of inventors

San Jose, CA, United States of America

Robert Coleman Springer, Iv