Methods, systems, and articles of manufacture for implementing interactive, real-time checking or verification of complex constraints

US9064063B1 · kind B1 · utility

Assignee

• Cadence Design Systems, Inc. · US

Inventors

• Henry Yu · Palo Alto, US
• Joshua Baudhuin · Portland, US
• Regis Colwell · Gibsonia, US
• Harsh Deshmane · Sunnyvale, US
• Elias Lee Fallon · Washington, US
• Sanjib Ghosh · Sidhauli, IN
• Anjna Khanna · New Delhi, IN
• Yinnie Lee · Campbell, US
• Harindranath Parameswaran · Noida, IN
• Pardeep Juneja · Delhi, IN
• Roland Ruehl · Redwood City, US
• Simon Simonian · Tulare, US
• Hui Xu · Lo Wu, CN
• Timothy Rosek · Gibsonia, US

Key dates

• Filing date: Apr 12, 2012
• Grant date: Jun 23, 2015
• Expiry date: May 21, 2032

Classification

• Technology area (CPC G): Physics
• CPC primary: G06F2111/04
• WIPO field: Computer technology
• WIPO sector: Electrical engineering

Abstract

Disclosed encompasses method, system, computer program product for implementing interactive checking of constraints. Various embodiments bridge schematic design environment and layout environment with a binder mapping process and utilize connectivity information from the schematic design to identify constraint violations early in the physical design stage. The method identifies or creates a layout and identifies or generates an object for a modification process. The method may take snapshot(s) of the design database or may use one or more logs for restoring the design database. The method then identifies or creates scratch pad(s) and performs modification process on the object to generate a change. The method uses scratch pad(s) and trigger(s) to perform constraint checking during the modification process to provide interactive feedback in response to the modification process before committing the change to the persistent database.