Timing ECO optimization using metal-configurable gate-array spare cells

Due to the rapidly increasing design complexity in modern IC designs, metal-only engineering change order (ECO) becomes inevitable to achieve design closure with a low respin cost. Traditionally, preplaced redundant standard cells are regarded as spare cells. However, these cells are limited by predefined functionalities and locations, and they always consume leakage power despite their inputs are tied off. To overcome the inflexibility and power overhead, a new type of spare cells, metal-configurable gate-array spare cells, are considered. Therefore, in this paper, we address a new ECO problem: Timing ECO optimization using metal-configurable gate-array spare cells. We first study the properties for this new ECO problem, propose a new metric, aliveness, to model the capability of a spare gate array, and then develop a timing ECO optimization framework based on aliveness, routability, and timing satisfaction. Experimental results show that our approach delivers superior efficiency and effectiveness.

[1]  Antonin Guttman,et al.  R-trees: a dynamic index structure for spatial searching , 1984, SIGMOD '84.

[2]  Yao-Wen Chang,et al.  ECO Timing Optimization Using Spare Cells and Technology Remapping , 2010, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[3]  Po-Kai Huang,et al.  Interpolation-based incremental ECO synthesis for multi-error logic rectification , 2011, 2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).

[4]  TingTing Hwang,et al.  New spare cell design for IR drop minimization in Engineering Change Order , 2009, 2009 46th ACM/IEEE Design Automation Conference.

[5]  Yao-Wen Chang,et al.  Redundant-wires-aware ECO timing and mask cost optimization , 2010, 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[6]  Shao-Lun Huang,et al.  A robust ECO engine by resource-constraint-aware technology mapping and incremental routing optimization , 2011, 16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011).

[7]  Malgorzata Marek-Sadowska,et al.  Engineering change using spare cells with constant insertion , 2007, ICCAD.

[8]  Jie-Hong Roland Jiang,et al.  TRECO: Dynamic technology remapping for timing Engineering Change Orders , 2010, 2010 15th Asia and South Pacific Design Automation Conference (ASP-DAC).

[9]  Yao-Wen Chang,et al.  Routability-driven analytical placement for mixed-size circuit designs , 2011, 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[10]  Chris C. N. Chu,et al.  FLUTE: Fast Lookup Table Based Rectilinear Steiner Minimal Tree Algorithm for VLSI Design , 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[11]  Chih-Wei Chang,et al.  A Metal-Only-ECO Solver for Input-Slew and Output-Loading Violations , 2010, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[12]  Iris Hui-Ru Jiang,et al.  ECOS: Stable Matching Based Metal-Only ECO Synthesis , 2012, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

[13]  Shih-Chieh Chang,et al.  Spare Cells With Constant Insertion for Engineering Change , 2009, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[14]  Artur Balasinski Optimization of sub-100-nm designs for mask cost reduction , 2004 .

[15]  Malgorzata Marek-Sadowska,et al.  ECO-Map: Technology remapping for post-mask ECO using simulated annealing , 2008, 2008 IEEE International Conference on Computer Design.

[16]  Yu-Liang Wu,et al.  ECO timing optimization with negotiation-based re-routing and logic re-structuring using spare cells , 2012, 17th Asia and South Pacific Design Automation Conference.

[17]  Yao-Wen Chang,et al.  Timing ECO Optimization Via Bézier Curve Smoothing and Fixability Identification , 2012, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[18]  Yao-Wen Chang,et al.  Simultaneous functional and timing ECO , 2011, 2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).

[19]  Shao-Lun Huang,et al.  Match and replace — A functional ECO engine for multi-error circuit rectification , 2011, 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[20]  Iris Hui-Ru Jiang,et al.  Matching-based minimum-cost spare cell selection for design changes , 2009, 2009 46th ACM/IEEE Design Automation Conference.

[21]  Ruchir Puri,et al.  DeltaSyn: An efficient logic difference optimizer for ECO synthesis , 2009, 2009 IEEE/ACM International Conference on Computer-Aided Design - Digest of Technical Papers.

[22]  Jie-Hong Roland Jiang,et al.  A robust functional ECO engine by SAT proof minimization and interpolation techniques , 2010, 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[23]  Yu-Wen Tsai,et al.  Structured ASIC, evolution or revolution? , 2004, ISPD '04.

[24]  Mache Creeger,et al.  Evolution or Revolution? , 2006, ACM Queue.