Google Inc.

Synopsys, Inc.

Bharat Kalyanpur

Amit Behal

Randolph Gregory Brown

Akash Nanavati

James Herbert Kukula

Robert F Damiano

Yirng-An Chen

Methods, systems, and apparatus for generating user interface elements for an entity in response to a search query. The method includes receiving a request that includes the entity and one or more context terms. In response to determining to provide the search results page including knowledge elements, the method identifies knowledge elements for the entity that include facts relating to the entity and identifies content in at least one knowledge element of the knowledge elements for the entity that relates to data identifying the entity and the one or more context terms. The method generates the user interface elements for at least some of the knowledge elements, including generating a user interface element for the knowledge element that includes a change of appearance of the content. The user interface elements are provided in the search results page in response to the request.

Contextualizing knowledge panels

Methods, systems, and apparatus for receiving a request that includes an entity identifier of an entity referenced by a search query and one or more context terms that are included in the search query; determining that the one or more context terms describe a relationship connecting the entity referenced by the search query with a plurality of other entities; and in response to determining that the one or more context terms describe the relationship, generating user interface elements that provide facts related to the entity referenced. Generating the user interface may include identifying relationship knowledge elements that include facts relating to at least some of the other entities connected to the entity by the relationship, and identifying one or more additional knowledge for the entity referenced by the search query. The ranking the relationship knowledge elements may be highest ranked knowledge elements in the user interface elements.

Methods, systems, and apparatus for receiving a request that includes an entity identifier of an entity that is referenced by a search query submitted by a user and one or more context terms that are referenced by the search query; identifying a plurality of knowledge elements that are related to the entity; identifying one or more context terms that are associated with the entity that is referenced by the search query; assigning, by one or more computers, rank scores to the plurality of knowledge elements, based at least on identifying the one or more context terms that are associated with the entity that is referenced by the search query; selecting one or more of the knowledge elements from among the knowledge elements based at least on the rank scores assigned to the knowledge elements; and providing, in response to the request, information associated with the entity and the one or more selected knowledge elements.

A method for formal verification includes a latch remodeling process to reduce computational requirements for clock modeling. Latches that exhibit flip flop-like output behavior in a synthesized layout of sequential logic are identified and replaced with flip flops to generate a remodeled layout. This latch replacement can be performed using rules that filter out latches that do not exhibit flip flop-like output behavior. Clock modeling is then performed on the remodeled layout. Because the remodeled layout contains fewer latches than the original synthesized layout, the computational expense and time required for clock modeling (and hence, formal verification) on the remodeled layout can be significantly reduced over the requirements for clock modeling (and formal verification) on the original synthesized layout.

Growing community of inventors

Fremont, CA, United States of America

Bharat Kalyanpur