Two Variants of Robust Two-Step Modulus-Based Matrix Splitting Iteration Methods for Mixed-Cell-Height Circuit Legalization Problem

Abstract

The mathematical formulation of the mixed-cell-height circuit legalization (MCHCL) problem can be expressed by a linear complementarity problem (LCP) with the system matrix being a block two-by-two saddle point matrix. Based on the robust modulus-based matrix splitting (RMMS) iteration method and its two-step improvement (RTMMS) studied recently, the well-known Hermitian and skew-Hermitian splitting iteration method and the generalized successive overrelaxation iteration method for solving saddle point linear systems, two variants of robust two-step modulus-based matrix splitting (VRTMMS) iteration methods are proposed for solving the MCHCL problem. Convergence analyses of the proposed two iteration methods are studied in detail. Finally, five test problems are presented. Numerical results show that the proposed two VRTMMS iteration methods not only take full use of the sparse property of the circuit system but also speed up the computational efficiency of the existing RMMS and RTMMS iteration methods for solving the MCHCL problem.

Keywords

Mixed-cell-height circuit legalization (MCHCL) / Linear complementarity problem (LCP) / Modulus-based method / Modulus-based matrix splitting / Convergence / 65F10 / 65F50 / 94C60

References

[1] BaiZ-Z. The convergence of parallel iteration algorithms for linear complementarity problems. Comput. Math. Appl., 1996, 32(9): 1-17

[2] BaiZ-Z. On the convergence of the multisplitting methods for the linear complementarity problem. SIAM J. Matrix Anal. Appl., 1999, 21(1): 67-78

[3] BaiZ-Z. Optimal parameters in the HSS-like methods for saddle-point problems. Numer. Linear Algebra Appl., 2009, 16(6): 447-479

[4] Bai, Z.-Z.: Modulus-based matrix splitting iteration methods for linear complementarity problems. Numer. Linear Algebra Appl. 17(6), 917–933 (2010)

[5] BaiZ-Z, GolubGH. Accelerated Hermitian and skew-Hermitian splitting iteration methods for saddle-point problems. IMA J. Numer. Anal., 2007, 27(1): 1-23

[6] BaiZ-Z, GolubGH, NgMK. Hermitian and skew-Hermitian splitting methods for non-Hermitian positive definite linear systems. SIAM J. Matrix Anal. Appl., 2003, 24(3): 603-626

[7] BaiZ-Z, GuoX-P. On Newton-HSS methods for systems of nonlinear equations with positive-definite Jacobian matrices. J. Comput. Appl. Math., 2010, 28(2): 235-260

[8] BaiZ-Z, PanJ-YMatrix Analysis and Computations, 2021, Philadelphia. SIAM.

[9] BaiZ-Z, ParlettBN, WangZ-Q. On generalized successive overrelaxation methods for augmented linear systems. Numer. Math., 2005, 102: 1-38

[10] Bai, Z.-Z., Wang, Z.-Q.: On parameterized inexact Uzawa methods for generalized saddle point problems. Linear Algebra Appl. 428(11/12), 2900–2932 (2008)

[11] BaiZ-Z, YangX. On HSS-based iteration methods for weakly nonlinear systems. Appl. Numer. Math., 2009, 59: 2923-2936

[12] BaiZ-Z, ZhangL-L. Modulus-based synchronous multisplitting iteration methods for linear complementarity problems. Numer. Linear Algebra Appl., 2013, 20(3): 425-439

[13] BaiZ-Z, ZhangL-L. Modulus-based multigrid methods for linear complementarity problems. Numer. Linear Algebra Appl., 2017, 246e2105

[14] Bustany, I.S., Chinnery, D., Shinnerl, J.R., Yutsis, V.: ISPD 2015 benchmarks with fence regions and routing blockages for detailed-routing-driven placement. In: Proceedings of the Symposium on International Symposium on Physical Design (2015)

[15] CaoY, ShiQ, ZhuS-L. A relaxed generalized Newton iteration method for generalized absolute value equations. AIMS Math., 2021, 6(2): 1258-1275

[16] CaoY, WangA. Two-step modulus-based matrix splitting iteration methods for implicit complementarity problems. Numer. Algorithms, 2019, 82: 1377-1394

[17] CaoY, YangG-C, ShenQ-Q. Convergence analysis of projected SOR iteration method for a class of vertical linear complementarity problems. Comput. Appl. Math., 2023, 424191

[18] ChenF, ZhuY. A variant of two-step modulus-based matrix splitting iteration method for Retinex problem. Comput. Appl. Math., 2022, 416244

[19] ChenF, ZhuY, MuratovaGV. Two-step modulus-based matrix splitting iteration methods for retinex problem. Numer. Algorithms, 2021, 88: 1989-2005

[20] ChenJ-L, LinZ-F. Mixed-cell-height placement with complex minimum-implant-area constraints. IEEE Trans. Comput. Aided Des. Integr. Circ. Syst., 2021, 41(11): 4639-4652

[21] Chen, J.-L., Zhu, Z.-R., Zhu, W.-X., Chang, Y.W.: Toward optimal legalization for mixed-cell-height circuit designs. In: Proceedings of the Annual Design Automation Conference (2017)

[22] Chen, J.-L., Zhu, Z.-R., Zhu, W.-X., Chang, Y.W.: A robust modulus-based matrix splitting iteration method for mixed-cell-height circuit legalization. ACM Trans. Des. Autom. Electron. Syst. 26(2), 1–28 (2020)

[23] CottleRW, PangJ-S, StoneREThe Linear Complementarity Problem, 2009, Philadelphia. SIAM.

[24] DongJ-L. Shifted skew-symmetric iteration methods for nonsymmetric linear complementarity problems. Numer. Algorithms, 2010, 54(3): 343-357

[25] DongJ-L, JiangM-Q. A modified modulus method for symmetric positive-definite linear complementarity problems. Numer. Linear Algebra Appl., 2009, 16(2): 129-143

[26] Hung, C.-Y., Chou, P.-Y., Mak, W.K.: Mixed-cell-height standard cell placement legalization. In: Proceedings of the on Great Lakes Symposium on VLSI (2017)

[27] LiaoL-Z, WangS-L. A self-adaptive projection and contraction method for linear complementarity problems. Appl. Math. Optim., 2003, 48(3): 169-180

[28] LinY-B, JiangZ-X, GuJ-Q. DREAMPlace: deep learning toolkit-enabled GPU acceleration for modern VLSI placement. IEEE Trans. Comput. Aided Des. Integr. Circ. Syst., 2021, 40(4): 748-761

[29] NoorMA. Fixed point approach for complementarity problems. J. Math. Anal. Appl., 1988, 133(2): 437-448

[30] Press, W.H. , Flannery ,B.P. , Teukolsky, S.A., Vetterling,W, T.: Numerical Recipes: the Art of Scientific Computing. Cambridge University Press, New York (2007)

[31] SchferU. On the modulus algorithm for the linear complementarity problem. Oper. Res. Lett., 2004, 32(4): 350-354

[32] ShiQ, ShenQ-Q, TangT-P. A class of two-step modulus-based matrix splitting iteration methods for quasi-complementarity problems. Comput. Appl. Math., 2020, 39111

[33] Subramanian, P.K., Xiu, N.-H.: Convergence analysis of Gauss-Newton methods for the complementarity problem. J. Optim. Theory Appl. 94(3), 727–738 (1997)

[34] SunL, HuangY-M. A modulus-based multigrid method for image retinex. Appl. Numer. Math., 2021, 164: 199-210

[35] WangA, CaoY, ChenJ-X. Modified Newton-type iteration methods for generalized absolute value equations. J. Optim. Theory. Appl., 2019, 181(1): 216-230

[36] WangL-X, ShenQ-Q, CaoY. Modulus-based matrix splitting iteration method for horizontal quasi-complementarity problem. Commun. Appl. Math. Comput., 2023.

[37] ZhangL-L. Two-step modulus-based matrix splitting iteration method for linear complementarity problems. Numer. Algorithms, 2011, 57(1): 83-99

[38] ZhangL-L, RenZ-R. A modified modulus-based multigrid method for linear complementarity problems arising from free boundary problems. Appl. Numer. Math., 2021, 164: 89-100

[39] ZhangJ-J. The relaxed nonlinear PHSS-like iteration method for absolute value equations. Appl. Math. Comput., 2015, 265: 266-274

[40] ZhengH, VongS, LiuL. The relaxation modulus-based matrix splitting iteration method for solving a class of nonlinear complementarity problems. Int J. Comput. Math., 2019, 96: 1648-1667

[41] ZhengN, YinJ-F. Accelerated modulus-based matrix splitting iteration methods for linear complementarity problem. Numer. Algorithms, 2013, 64(2): 245-262

[42] Zhou, C.-C., Cao, Y., Shi, Q., Qiu, J.: A robust two-step modulus-based matrix splitting iteration method for mixed-size cell circuit legalization problem. J. Circ. Syst. Comput. 32(8), 2350129 (2023)

[43] Zhou, C.-C., Qiu, J., Cao, Y., Yang, G.-C., Shen, Q.-Q., Shi, Q.: An accelerated modulus-based matrix splitting iteration method for mixed-size cell circuits legalization. Integration VLSI J. 88, 20–31 (2023)

[44] Zhou, C.-C., Shen, Q.-Q., Yang, G.-C., Shi, Q.: A general modulus-based matrix splitting method for quasi-complementarity problem. AIMS Math. 7(6), 10994–11014 (2022)

Funding

National Natural Science Foundation of China(11771225)

Qinglan Project of Jiangsu Province of China

Science and Technology Project of Nantong City(JC2021198)

RIGHTS & PERMISSIONS

Shanghai University