Synopsys, Inc.

Chinese Academy of Sciences

Beijing Baidu Netcom Science Technology Co., Ltd

Jingyu Xu

Subarnarekha Sinha

Dick Liu

Jun Wang

Jun Zhang

Charles C Chiang

Jun Lu

Jun Guo

Zongwu Tang

Donald John Oriordan

Randy Bishop

Daniel Zhang

Haocheng Liu

Bulent Basaran

Hu Cai

Alex Miloslavsky

Kent Y Kwang

Larissa Nitchougovskaia

Kevin A Beaudette

Xiaoxu Cheng

Hau-Yung Chen

Yingxiang Wu

Nabil Yazdani

Shiying Shi

A method for pushing a resource includes obtaining a collection of users to which a resource is to be pushed, in which the collection includes a plurality of users; obtaining respective predicted conversion rates of the resource for the plurality of users; obtaining user groups by dividing the plurality of users into groups based on respective predicted conversion rates for the plurality of users, in which the user groups correspond to different conversion rate ranges; and for each user group, selecting a target user from the user group based on a real conversion rate related to pushed users corresponding to the conversion rate range of the user group, and pushing the resource to the target user.

Method and apparatus for pushing resource, and storage medium

The independent claims of this patent signify a concise description of embodiments. Embodiments described herein are directed to a database-driven scheme for automating the process of VDRC checking in a full-custom EDA Design and Implementation tool. Various embodiments include at least a computer-implemented method of performing Voltage-based Design Rule Checking (VDRC) in a full-custom EDA Design and Implementation Platform is provided, the method comprising receiving a plurality of net voltages from at least a first net and a second net, wherein reception of the plurality of net voltages is from one or more of a simulation, a plurality of simulations, manual override, or direct input, determining a net voltage range, the net voltage range being a difference between a first net voltage of a first net and a second net voltage of a second net, causing transfer of the net voltage range to a layout editing process, the layout editing process resulting in generating a layout, and performing VDRC verification, confirming a VDRC clean layout. This Abstract is not intended to limit the scope of the claims.

Full-custom voltage-dependent design rules (VDRC) flow

Techniques for analyzing a routed interconnection of a net of a circuit are discussed herein. Some embodiments may include a method comprising with a computer, analyzing the circuit to determine a performance parameter of the net, wherein the circuit is analyzed based at least in part on applying pre-layout simulation data of the net to layout data of the circuit. Additionally or alternatively, the circuit may be analyzed based on extracting characteristics of the routed interconnection from the layout data of the net.

In-design real-time electrical impact verification flow

Systems and techniques are described for determining a resistance of a conducting structure. The conducting structure can be partitioned into a set of polygons based on (1) equipotential lines and (2) boundaries of the conducting structure. Next, a matrix equation can be constructed, wherein for at least one polygon in the set of polygons, electric potentials of boundary elements on the boundaries of the polygon are represented by linear combinations of electric potentials of two or more equipotential lines. The resistance of the conducting structure can then be determined by solving the matrix equation.

Determining the resistance of a conducting structure

The present invention discloses a cyclone generator for a pipeline type oil-water separator which separates oil from water using the principle of cyclone. The cyclone generator comprises: flow deflectors which are fixedly arranged along the circumferential direction of a pipe to generate, when an oil-water mixture flows through the flow deflectors, a centrosymmetric cyclone field to centrifugally separate oil from water. The present invention further discloses an oil-water separation device which uses the aforementioned principle, the mixture of oil and water flowing through the device forms a centrosymmetric cyclone field in which an oil core is distributed in the central area of a pipe without shifting significantly so as to achieve an excellent oil-water separation effect.

Pipeline type oil-water separator and cyclone generator for the same

One embodiment of the present invention provides a system that generates a pattern-clip-based hotspot database for performing automatic pattern-clip-based layout verification. During operation, the system receives a list of pattern clips which specify manufacturing hotspots to be avoided in a layout, wherein each pattern clip comprises a set of geometries in proximity to each other. Next, for each pattern clip, the system perturbs the pattern clip to determine a first range of variations for the constituent set of geometries wherein the perturbed pattern clip no longer causes a manufacturing hotspot. The system then extracts a set of correction guidance descriptions from the first range of variations for correcting the pattern clip. Subsequently, the system stores the pattern clip and the set of correction guidance descriptions in the pattern-clip-based hotspot database.

Pattern-clip-based hotspot database system for layout verification

One embodiment of the present invention provides a system that identifies hotspot areas in a layout. The system receives the layout and a via range pattern which indicates one or more vias and performs range-pattern matching (RPM) on the layout based on a via-free range pattern derived from the via range pattern. The system further identifies at least one candidate area and determines whether via(s) in the candidate area matches the via(s) in the via range pattern. The system can also receives a range pattern with don't care regions. The system determines a core pattern from the range pattern, performs RPM based on the core pattern, and identifies a candidate area. The system then determines whether areas surrounding the candidate area match a non-core effective pattern of the range pattern. The system further determines if the areas surrounding the candidate area satisfy the constraints associated with any vias and the don't care regions.

Range pattern matching for hotspots containing vias and incompletely specified range patterns

Growing community of inventors

Beijing, China

Jingyu Xu