IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2008 · 37 citations · 16 references
Mathematical ProgrammingComputational Complexity TheoryEngineeringComputer ArchitectureData DeduplicationComputational ComplexityInterconnection Network Architecture0-1 Ilp FormulationParallel ComputingCombinatorial OptimizationNetwork FlowsComputer EngineeringComputer ScienceAlgorithmic Information TheoryChip Yield0-1 IlpInteger ProgrammingFormal MethodsRobust RoutingParallel Programming
Redundant via insertion is highly effective in improving chip yield and reliability. In this paper, we study the problem of <i xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">double-cut</i> <i xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">via</i> <i xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">insertion</i> (DVI) in a post-routing stage, where a single via can have, at most, one redundant via inserted next to it and the goal is to insert as many redundant vias as possible. The DVI problem can be naturally formulated as a zero-one integer linear program (0-1 ILP). Our main contributions are acceleration methods for reducing the problem size and the number of constraints. Moreover, we extend the 0-1 ILP formulation to handle via density constraints. Experimental results show that our 0-1 ILP is very efficient in computing an optimal DVI solution, with up to 73.98 times speedup over existing heuristic algorithms.
16
Introduction to algorithms [2nd ed.]
Thomas H. Cormen · 2001 · 1.9K citations
Redundant-via enhanced maze routing for yield improvement
Gang Xu, Lida Huang, David Z. Pan et al. · 2005 · 88 citations
Conventional Maze Routing, Network Routing Algorithm, Engineering +14
Guest Editors' Introduction: Design for Yield and Reliability
Y. Zorian, Dimitris Gizopoulos, C. Vandenberg et al. · IEEE Design & Test of Computers · 2004 · 56 citations