Redundant via insertion is highly recommended for improving chip yield and reliability. In this paper, we study the problem of double via insertion with wire bending (DVI/WB) in a post-routing stage, where a single via can have at most one redundant via inserted next to it. Aside from this, we are allowed to bend existing signal wires for enhancing the insertion rate of double vias. The goal of DVI/WB is to primarily insert as many double vias as possible and to minimize the amount of layout perturbation as the secondary objective. We formulate the DVI/WB problem as that of finding a minimum-weight maximum independent set (mWMIS) on an enhanced conflict graph. We propose algorithms to perform wire bending and to construct the enhanced conflict graph from a given design. Moreover, we also propose a zero-one integer linear program (0-1 ILP) based approach to solve mWMIS. Experimental results show that

In this paper, we formulate a problem of simultaneous redundant via insertion and line end extension for via yield optimization. Our problem is more general than previous works in the sense that more than one type of line end extension is considered and the objective function to be optimized directly accounts for via yield. We present a zero-one integer linear program based approach, that is equipped with two speedup techniques, to solve the addressed problem optimally. In addition, we describe how to modify our approach to exactly solve a previous work. Extensive experimental results are shown to demonstrate the effectiveness and efficiency of our approaches.

We consider N= 2 superconformal field theory with following properties: a) Coulomb branch operators have fractional scaling dimensions, b) there are exact marginal deformations. The weakly coupled gauge theory descriptions are found by decomposing 3d mirror into different components, and different decompositions correspond to different duality frames. The gauge theory is formed by gauging Argyres-Douglas matter, and we write down all duality frames for several classes with infinite sequence of theories.

Automatic computation of surface correspondence via harmonic map is an active research field in computer vision, computer graphics and computational geometry. It may help document and understand physical and biological phenomena and also has broad applications in biometrics, medical imaging and motion capture industries. Although numerous studies have been devoted to harmonic map research, limited progress has been made to compute a diffeomorphic harmonic map on general topology surfaces with landmark constraints. This work conquers this problem by changing the Riemannian metric on the target surface to a hyperbolic metric so that the harmonic mapping is guaranteed to be a diffeomorphism under landmark constraints. The computational algorithms are based on Ricci flow and nonlinear heat diffusion methods. The approach is general and robust. We employ our algorithm to study the

Detailed studies of four dimensional N= 2 superconformal field theories (SCFT) defined by isolated complete intersection singularities are performed: we compute the Coulomb branch spectrum, Seiberg-Witten solutions and central charges. Most of our theories have exactly marginal deformations and we identify the weakly coupled gauge theory descriptions for many of them, which involve (affine) D and E shaped quiver gauge theories and theories formed from Argyres-Douglas matters. These investigations provide strong evidence for the singularity approach in classifying 4d N= 2 SCFTs.