Abstract: A global optimization method to synthesize and balance the clock systems in a multimode, multi-corner, and multi-domain design environment is described. The method builds a graph representation for a clock network. The method determines an optimal clock network balancing solution for the clock network by applying linear programming to the graph. To apply linear programming to the graph, the method generates a set of constraints for the graph and determines a proper insertion delay for each edge of the graph by solving for a minimal skew based on the set of constraints. The method implements the optimal clock network balancing solution.

Abstract: A global optimization method to synthesize and balance the clock systems in a multimode, multi-corner, and multi-domain design environment is described. The method builds a graph representation for a clock network. The method determines an optimal clock network balancing solution for the clock network by applying linear programming to the graph. To apply linear programming to the graph, the method generates a set of constraints for the graph and determines a proper insertion delay for each edge of the graph by solving for a minimal skew based on the set of constraints. The method implements the optimal clock network balancing solution.

Abstract: Described are methods and apparatus, including computer program products, for overriding configuration for web application involving multiple customers. A user of one of the customers requests a Web page. A dynamic Web page is generated using default values associated with the user. At least one of the default values is overridden by an override value associated with a context. A plurality of contexts are defined for use in the dynamic generation of the Web page. The plurality of contexts include an organization context, a role context, and/or a point of claim context.