Roland Ruehl

Method, system, and program product for interactive checking for double pattern lithography violations

Method and system for parallelizing computing operations

System and method for performing verification based upon both rules and models

Method and apparatus for automatically fixing double patterning loop violations

System and method for model-based scoring and yield prediction

System and method for layout optimization using model-based verification

Methods, systems, and articles of manufacture for implementing constraint checking windows for an electronic design for multiple-patterning lithography processes

Method and system for implementing parallel processing of electronic design automation tools

Method and system for parallel processing of IC design layouts

Method, system, and computer program product for interconnecting circuit components with track patterns for electronic circuit designs