Synopsys, Inc.

Marco Hug

Weiping Fang

Erdem Cilingir

Srini Arikati

Srinivasa R Arikati

A computer implemented method for validating a design is presented. The method includes generating, using the computer, a graph non-decomposable to a colored graph representative of the design, when the computer is invoked to validate the design. The method further includes identifying, using the computer, at least one guidance to at least one conflict in a mask layout associated with the design, the conflict causing the graph to be non-decomposable.

Growing community of inventors

Morgan Hill, CA, United States of America

Marco Hug