US Patent 9378000 Determination of unreachable elements in a design

Patent 9378000 was granted and assigned to Synopsys on June, 2016 by the United States Patent and Trademark Office.

Overview Structured Data Issues Contributors Activity

All edits

Edits on 14 Mar, 2024

"update inverses"

Golden AI

edited on 14 Mar, 2024

Edits made to:

Infobox (+1 properties)

Infobox

Patent Citations Received

‌

US Patent 11928447 Configuration management through information and code injection at compile time

Edits on 5 Dec, 2023

"Add patent abstract"

Golden AI

edited on 5 Dec, 2023

Edits made to:

Article (+530 characters)

Article

Patent abstract

A method and apparatus for performing compiler optimizations is described. The method determines one or more impossible values for a variable in a program code based on a plurality of values of the variable. The method propagates the one or more impossible values for the variable throughout the program code. The method identifies a set of unreachable targets in the program code based on the propagated impossible values for the variable. The method removes objects associated with the set of unreachable targets.

Edits on 29 Sep, 2023

"Add patent inventor(s)"

Golden AI

edited on 29 Sep, 2023

Edits made to:

Infobox (+1 properties)

Infobox

Patent Inventor Names

Vernon Lee0

Edits on 21 Jul, 2023

"Remove website redirecting to Patent Public Search front page"

Golden AI