ABSTRACT
As pin accessibility encounters more challenges due to the less number of tracks, higher pin density, and more complex design rules, routability has become one bottleneck of sub-10nm designs. Thus, we need a new design methodology for fast turnaround in analyzing the feasibility of the layout architecture, e.g., design rules and patterns of pin assignment. In this paper, we propose a novel framework that efficiently identifies the design rule-correct routability by creating well-organized formulation. We start with a new SAT-friendly ILP formulation which satisfies conditional design rules. In the ILP-to-SAT conversion stage, we reduce the complexity of the SAT problem by utilizing a logic minimizer and further refining the SAT formula. We demonstrate that our framework performs the routability analysis within 0.24% of ILP runtime on average, while guaranteeing the precise assessment of the routability.
- F. A. Aloul, A. Ramani, I. L. Markov and K. A. Sakallah, "Generic ILP versus Specialized 0--1 ILP: An Update", Proc. ICCAD, 2002, pp. 450--457. Google ScholarDigital Library
- R. Aitken, G. Yeric, B. Cline, S. Sinha, L. Shifren, I. Iqbal and V. Chandra, "Physical Design and FinFETs", Proc. ISPD, 2014, pp. 65--68. Google ScholarDigital Library
- Y. Badr, K.-W. Ma and P. Gupta, "Layout Pattern-Driven Design Rule Evaluation", Proc. SPIE DPTCOM VIII, 2014.Google ScholarCross Ref
- M. G. Bardon et al., "Extreme Scaling Enabled by 5 Tracks Cells: Holistic Design-Device Co-optimization for FinFETs and Lateral Nanowires", Proc. IEDM, 2016, pp. 28.2.1--28.2.4.Google Scholar
- I. S. Bustany, D. Chinnery, J. R. Shinnerl and V. Yutsis, "ISPD 2015 Benchmarks with Fence Regions and Routing Blockages for Detailed-Routing-Driven Placement", Proc. ISPD, 2015, pp. 157--164. Google ScholarDigital Library
- W.-T. J. Chan, P.-H. Ho, A. B. Kahng and P. Saxena, "Routability Optimization for Industrial Designs at Sub-14nm Process Nodes Using Machine Learning", Proc. ISPD, 2017, pp. 15--21. Google ScholarDigital Library
- P. Cremer, S. Hougardy, J. Schneider and J. Silvanus, "Automatic Cell Layout in the 7nm Era", Proc. ISPD, 2017, pp. 99--106. Google ScholarDigital Library
- P. Debacker, K. Han, A. B. Kahng, H. Lee, P. Raghavan and L. Wang, "Vertical M1 Routing-Aware Detailed Placement for Congestion and Wirelength Reduction in Sub-10nm Nodes", Proc. DAC, 2017, pp. 1--6. Google ScholarDigital Library
- Y. Ding, C. Chu and W.-K. Mak, "Pin Accessibility-Driven Detailed Placement Refinement", Proc. ISPD, 2017, pp. 133--140. Google ScholarDigital Library
- H. Fraisse, A. Joshi, D. Gaitonde and A. Kaviani, "Boolean Satisfiability-Based Routing and Its Application to Xilinx UltraScale Clock Network", Proc. FPGA, 2016, pp. 74--79. Google ScholarDigital Library
- K. Han, A. B. Kahng and H. Lee, "Evaluation of BEOL Design Rule Impacts Using An Optimal ILP-based Detailed Router", Proc. DAC, 2015, pp. 1--6. Google ScholarDigital Library
- M.-K. Hsu, N. Katta, H. Y.-H. Lin, K. T.-H. Lin, K. H. Tam and K. C.-H. Wang, "Design and Manufacturing Process Co-optimization in Nano-technology", Proc. ICCAD, 2014, pp. 574--581. Google ScholarDigital Library
- X. Jia, Y. Cai, Q. Zhou, G. Chen, Z. Li and Z. Li, "MCFRoute: A Detailed Router Based on Multi-Commodity Flow Method" Proc. ICCAD, 2014, pp. 397--404. Google ScholarDigital Library
- I. Kang and C.-K. Cheng, "Physical Layout after Half a Century: From Back-Board Ordering to Multi-Dimensional Placement and Beyond", Proc. ISPD, 2017, pp. 123--128. Google ScholarDigital Library
- K. Lucas, C. Cork, B. Yu, G. Luk-Pat, B. Painter and D. Z. Pan, "Implications of Triple Patterning for 14nm Node Design and Patterning", Proc. SPIE Advanced Lithography, 2012, pp. 1--12.Google Scholar
- L. Luo and M. D. F. Wong, "Ordered Escape Routing Based on Boolean Satisfiability", Proc. ASPDAC, 2008, pp. 244--249. Google ScholarDigital Library
- Y. Ma, J. Sweis, H. Yoshida, Y. Wang, J. Kye and H. J. Levinson, "Self-Aligned Double Patterning (SADP) Compliant Design Flow", Proc. SPIE Advanced Lithography, 2012, pp. 1--13.Google Scholar
- S. Mukherjee and S. Roy, "SAT Based Multi Pin Net Detailed Routing for FPGA", Proc. ISED, 2010, pp. 141--146. Google ScholarDigital Library
- G.-J. Nam, K. A. Sakallah and R. A. Rutenbar, "A New FPGA Detailed Routing Approach via Search-Based Boolean Satisfiability", IEEE Trans. on CAD 21(6) (2002), pp. 674--684. Google ScholarDigital Library
- M. M. Ozdal, "Detailed-Routing Algorithms for Dense Pin Clusters in Integrated Circuits", IEEE Trans. on CAD 28(3) (2009), pp. 340--349. Google ScholarDigital Library
- S. Russel and P. Norvig, Artificial Intelligence - A Modern Approach, Prentice Hall, 1995. Google ScholarDigital Library
- N. Ryzhenko and S. Burns, "Standard Cell Routing via Boolean Satisfiability", Proc. DAC, 2012, pp. 603--612 Google ScholarDigital Library
- J. Seo, J. Jung, S. Kim and Y. Shin, "Pin Accessibility-Driven Cell Layout Redesign and Placement Optimization", Proc. DAC, 2017, Article 54. Google ScholarDigital Library
- D. Shi and A. Davoodi, "Improving Detailed Routability and Pin Access with 3D Monolithic Standard Cells", Proc. ISPD, 2017, pp. 107--112. Google ScholarDigital Library
- T. Taghavi, Z. Li, C. Alpert, G.-J. Nam, A. Huber and S. Ramji, "New Placement Prediction and Mitigation Techniques for Local Routing Congestion", Proc. ICCAD, 2010, pp. 621--624. Google ScholarDigital Library
- C.-K. Wang, C.-C. Huang, S. S.-Y. Liu, C.-Y. Chin, S.-T. Hu, W.-C. Wu and H.-M. Chen, "Closing the Gap between Global and Detailed Placement: Techniques for Improving Routability", Proc. ISPD, 2015, pp. 149--156. Google ScholarDigital Library
- X. Xu, B. Cline, G. Yeric, B. Yu and D. Z. Pan, "Self-aligned Double Patterning Aware Pin Access and Standard Cell Layout Co-optimization", IEEE Trans. on CAD 34(5) (2015), pp. 699--712.Google ScholarCross Ref
- X. Xu, B. Yu, J.-R. Gao, C.-L. Hsu and D. Z. Pan, "PARR: Pin-Access Planning and Regular Routing for Self-Aligned Double Patterning", Trans. on DAES 21(3) (2016), Article 42. Google ScholarDigital Library
- P.-H. Yuh, C. C.-Y. Lin, T.-W. Huang, T.-Y. Ho, C.-L. Yang and Y.-W. Chang, "A SAT-based Routing Algorithm for Cross-Referencing Biochips", Proc. SLIP, 2011, Article 6. Google ScholarDigital Library
- V. Yutsis, I. S. Bustany, D. Chinnery, J. Shinnerl and W.-H. Liu, "ISPD 2014 Benchmarks with Sub-45nm Technology Rules for Detailed-Routing-Driven Placement", Proc. ISPD, 2014, pp. 161--168. Google ScholarDigital Library
- P. Zarkesh-Ha, J. A. Davis, W. Loh and J. D. Meindl, "Prediction of Interconnect Fan-Out Distribution using Rent's Rule", Proc. SLIP, 2000, pp. 107--112. Google ScholarDigital Library
- Cadence Design Systems, Inc., Sr Software Engineering Group Director, personal communication, 2017.Google Scholar
- Espresso, Logic Minimizer, http://embedded.eecs.berkeley.edu/pubs/downloads/espresso/.Google Scholar
- IBM ILOG CPLEX, http://www.ilog.com/products/cplex/.Google Scholar
- ITRS Report 2015 Edition, http://www.semiconductors.org/main/2015_international_technology_roadmap_for_semiconductors_itrs/.Google Scholar
- Plingeling, Multi-Threading SAT Solver, http://fmv.jku.at/lingeling/.Google Scholar
Recommendations
Routability-Driven Blockage-Aware Macro Placement
DAC '14: Proceedings of the 51st Annual Design Automation ConferenceWe present a new floorplan representation, called circular-packing trees (CP-trees), for the problem of macro placement. Our CP-trees can flexibly pack movable macros toward corners or pre-placed macros along chip boundaries circularly to optimize macro ...
Fast and Effective Placement Refinement for Routability
In this brief, we propose congestion refinement of placement (CROP) for improving the congestion of mixed-size placement solutions. CROP consists of a congestion-driven module shifting technique and a congestion-driven detailed placement (CDDP) ...
Routability-driven placement for hierarchical mixed-size circuit designs
DAC '13: Proceedings of the 50th Annual Design Automation ConferenceA wirelength-driven placer without considering routability could introduce irresolvable routing-congested placements. Therefore, it is desirable to develop an effective routability-driven placer for modern mixed-size designs employing hierarchical ...
Comments