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

摘要

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.

主权项

1. A computer implemented method for implementing interactive checking or verification of complex constraints, comprising:
using at least one processor or at least one processor core to perform a process the process comprising: identifying an object from a layout of the electronic design; determining a change for the object by at least identifying multiple sets of attributes of the object by using a dynamic data capture mechanism with a threshold rate of change or a sampling frequency; performing a modification process to make the change in the object; a checking mechanism coupled to the at least one processor or the at least one processor core of a computing system and determining whether a relevant constraint is satisfied when the change is being made in the object by at least invoking one or more triggers according to one or more priority levels to perform one or more functions; and displaying, on a display apparatus of the computing system, a result of the act of determining whether the relevant constraint is satisfied.