Abstract:As VLSI technology enters the nanoscale regime, design reliability is becoming increasingly important. A major design reliability concern arises from electromigration which refers to the transport of material caused by ion movement in interconnects. Since the lifetime of an interconnect drastically depends on the current flowing through it, the electromigration problem aggravates with increasingly growing thinner wires. Further, the current-density-induced interconnect thermal issue becomes much more severe with larger current. To mitigate the electromigration and the current-density-induced thermal effects, interconnect current density needs to be reduced. Assigning wires to thick metals increases wire volume, and thus, reduces the current density. However, overstretching thick-metal assignment may hurt routability. Thus, it is highly desirable to minimize the thick-metal usage, or total wire cost, subject to the reliability constraint. In this paper, the minimum cost reliability-driven routing, which consists of Steiner tree construction and layer assignment, is considered. The problem is proven to be NP-hard and a highly effective iterative rounding-based integer linear programming algorithm is proposed. In addition, a unified routing technique is proposed to directly handle multiple current levels, which is critical in analog VLSI design. Further, the new algorithm is extended to handle blockage. Our experiments on 450 nets demonstrate that the new algorithm significantly outperforms the state-of-the-art work [CHECK END OF SENTENCE] with up to 14.7 percent wire reduction. In addition, the new algorithm can save 11.4 percent wires over a heuristic algorithm for handling multiple currents.

Accelerating Logic Rewiring Using Implication Analysis Tree.

Combinational Equivalence Checking Based on Circuit Topology Analysis

SAT-controlled Redundancy Addition and Removal: a Novel Circuit Restructuring Technique

Adaptive Reconvergence-driven AIG Rewriting via Strategy Learning

Combinational and sequential logic optimization by redundancy addition and removal

AIG Rewriting Using 5-Input Cuts

A Design of Embedding Rewiring into Routing for FPGA Improvement

Parallel AIG Refactoring via Conflict Breaking

Combining Half Adder Graph for Equivalence Checking of Arithmetic Circuits

Datapath Verification via Word-Level E-Graph Rewriting

Problem C: GPU Accelerated Logic Rewriting

An Efficient Method for Multi-Level Approximate Logic Synthesis under Error Rate Constraint.

A Fast Heuristic Algorithm for Redundancy Removal

Local Logic Substitution Algorithm for Post-Layout Re-Synthesis

Synthesis and verification of cyclic combinational circuits

Arithmetic Operand Ordering for Equivalence Checking

An Interconnect Reliability-Driven Routing Technique for Electromigration Failure Avoidance

A*–Ant Colony Optimization Algorithm for Multi-Branch Wire Harness Layout Planning

Fault Collapsing Efficiency Improvement in Digital Circuits with Implication and Topological Information

An Automatic Optimization Method of Combinational Logic Loops in CGRA

Recursive fictitious flow theory and algorithm for distribution network reconfiguration