{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T14:07:20Z","timestamp":1758636440790,"version":"3.41.0"},"reference-count":54,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2022,12,24]],"date-time":"2022-12-24T00:00:00Z","timestamp":1671840000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Zhongguancun open laboratory concept verification project","award":["20210421085"],"award-info":[{"award-number":["20210421085"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["11804016 and 62006011"],"award-info":[{"award-number":["11804016 and 62006011"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Natural Science Foundation of Jiangsu Province of China","award":["BK20202006"],"award-info":[{"award-number":["BK20202006"]}]},{"name":"Science Foundation of China University of Petroleum","award":["2462020YXZZ024"],"award-info":[{"award-number":["2462020YXZZ024"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Des. Autom. Electron. Syst."],"published-print":{"date-parts":[[2023,3,31]]},"abstract":"<jats:p>One of the greatest challenges in integrated circuit design is the repeated executions of computationally expensive SPICE simulations, particularly when highly complex chip testing\/verification is involved. Recently, pseudo-transient analysis (PTA) has shown to be one of the most promising continuation SPICE solvers. However, the PTA efficiency is highly influenced by the inserted pseudo-parameters. In this work, we proposed BoA-PTA, a Bayesian optimization accelerated PTA that can substantially accelerate simulations and improve convergence performance without introducing extra errors. Furthermore, our method does not require any pre-computation data or offline training. The acceleration framework can either speed up ongoing, repeated simulations (e.g., Monte-Carlo simulations) immediately or improve new simulations of completely different circuits. BoA-PTA is equipped with cutting-edge machine learning techniques, such as deep learning, Gaussian process, Bayesian optimization, non-stationary monotonic transformation, and variational inference via reparameterization. We assess BoA-PTA in 43 benchmark circuits and real industrial circuits against other SOTA methods and demonstrate an average of 1.5x (maximum 3.5x) for the benchmark circuits and up to 250x speedup for the industrial circuit designs over the original CEPTA without sacrificing any accuracy.<\/jats:p>\n          <jats:p\/>","DOI":"10.1145\/3555805","type":"journal-article","created":{"date-parts":[[2022,8,13]],"date-time":"2022-08-13T10:55:24Z","timestamp":1660388124000},"page":"1-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["BoA-PTA: A Bayesian Optimization Accelerated PTA Solver for SPICE Simulation"],"prefix":"10.1145","volume":"28","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3177-8478","authenticated-orcid":false,"given":"Wei W.","family":"Xing","sequence":"first","affiliation":[{"name":"Beihang University, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6441-948X","authenticated-orcid":false,"given":"Xiang","family":"Jin","sequence":"additional","affiliation":[{"name":"Beihang University, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5180-6002","authenticated-orcid":false,"given":"Tian","family":"Feng","sequence":"additional","affiliation":[{"name":"China University of Petroleum, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0715-7946","authenticated-orcid":false,"given":"Dan","family":"Niu","sequence":"additional","affiliation":[{"name":"Southeast University, Sipailou, Nanjing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8088-0404","authenticated-orcid":false,"given":"Weisheng","family":"Zhao","sequence":"additional","affiliation":[{"name":"Beihang University, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0632-9494","authenticated-orcid":false,"given":"Zhou","family":"Jin","sequence":"additional","affiliation":[{"name":"China University of Petroleum, Beijing, China"}]}],"member":"320","published-online":{"date-parts":[[2022,12,24]]},"reference":[{"key":"e_1_3_3_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/1390156.1390157"},{"key":"e_1_3_3_3_2","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2018.2830749"},{"key":"e_1_3_3_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASIC.1993.410775"},{"key":"e_1_3_3_5_2","volume-title":"Pattern Recognition and Machine Learning","author":"Bishop Christopher M.","year":"2007","unstructured":"Christopher M. Bishop. 2007. Pattern Recognition and Machine Learning. Springer."},{"key":"e_1_3_3_6_2","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.2011.646919"},{"key":"e_1_3_3_7_2","volume-title":"Convex Optimization","author":"Vandenberghe Lieven","year":"2004","unstructured":"Stephen Boyd and Lieven Vandenberghe. 2004. Convex Optimization. Cambridge University Press."},{"key":"e_1_3_3_8_2","article-title":"A tutorial on Bayesian optimization of expensive cost functions, with application to active user modeling and hierarchical reinforcement learning","author":"Brochu Eric","year":"2010","unstructured":"Eric Brochu, Vlad M. Cora, and Nando De Freitas. 2010. A tutorial on Bayesian optimization of expensive cost functions, with application to active user modeling and hierarchical reinforcement learning. arXiv preprint arXiv:1012.2599.","journal-title":"arXiv preprint arXiv:1012.2599."},{"key":"e_1_3_3_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-53429-9"},{"key":"e_1_3_3_10_2","doi-asserted-by":"publisher","DOI":"10.1016\/0378-4754(95)00120-0"},{"key":"e_1_3_3_11_2","first-page":"918","volume-title":"Advances in Neural Information Processing Systems","author":"Hern\u00e1ndez-Lobato Jos\u00e9 Miguel","year":"2014","unstructured":"Jos\u00e9 Miguel Hern\u00e1ndez-Lobato, Matthew W. Hoffman, and Zoubin Ghahramani. 2014. Predictive entropy search for efficient global optimization of black-box functions. In Advances in Neural Information Processing Systems 27 (2014), 918\u2013926."},{"key":"e_1_3_3_12_2","doi-asserted-by":"crossref","unstructured":"Guyue Huang Jingbo Hu Yifan He Jialong Liu Mingyuan Ma Zhaoyang Shen Juejian Wu et\u00a0al. 2021. Machine learning for electronic design automation: A survey. ACM Transactions on Design Automation of Electronic Systems 26 5 (2021) Article 40 46 pages.","DOI":"10.1145\/3451179"},{"key":"e_1_3_3_13_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25566-3_40"},{"key":"e_1_3_3_14_2","doi-asserted-by":"publisher","DOI":"10.1587\/nolta.6.499"},{"key":"e_1_3_3_15_2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008306431147"},{"key":"e_1_3_3_16_2","doi-asserted-by":"publisher","DOI":"10.5555\/1622737.1622748"},{"key":"e_1_3_3_17_2","doi-asserted-by":"publisher","DOI":"10.1111\/1467-9868.00294"},{"key":"e_1_3_3_18_2","article-title":"Adam: A method for stochastic optimization","author":"Kingma Diederik P.","year":"2014","unstructured":"Diederik P. Kingma and Jimmy Ba. 2014. Adam: A method for stochastic optimization. arXiv preprint arXiv:1412.6980.","journal-title":"arXiv preprint arXiv:1412.6980."},{"key":"e_1_3_3_19_2","volume-title":"Proceedings of the International Conference on Learning Representations (ICLR\u201914).","author":"Kingma Diederik P.","year":"2014","unstructured":"Diederik P. Kingma and Max Welling. 2014. Auto-encoding variational Bayes. In Proceedings of the International Conference on Learning Representations (ICLR\u201914)."},{"key":"e_1_3_3_20_2","doi-asserted-by":"publisher","DOI":"10.1038\/nature14539"},{"key":"e_1_3_3_21_2","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5456974"},{"key":"e_1_3_3_22_2","first-page":"3306","volume-title":"Proceedings of the International Conference on Machine Learning","author":"Lyu Wenlong","year":"2018","unstructured":"Wenlong Lyu, Fan Yang, Changhao Yan, Dian Zhou, and Xuan Zeng. 2018. Batch Bayesian optimization via multi-objective acquisition ensemble for automated analog circuit design. In Proceedings of the International Conference on Machine Learning. 3306\u20133314."},{"key":"e_1_3_3_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/3316781.3317838"},{"key":"e_1_3_3_24_2","volume-title":"Bayesian Approach to Global Optimization: Theory and Applications","author":"Mockus Jonas","year":"2012","unstructured":"Jonas Mockus. 2012. Bayesian Approach to Global Optimization: Theory and Applications. Vol. 37. Springer Science & Business Media."},{"key":"e_1_3_3_25_2","unstructured":"L. W. Negel. 1975. A Computer Program to Simulate Semiconductor Circuits . College of Engineering University of California."},{"key":"e_1_3_3_26_2","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2002.1041782"},{"key":"e_1_3_3_27_2","volume-title":"Gaussian Processes for Machine Learning","author":"Rasmussen Carl Edward","year":"2006","unstructured":"Carl Edward Rasmussen and Christopher K. I. Williams. 2006. Gaussian Processes for Machine Learning. MIT Press, Cambridge, MA."},{"key":"e_1_3_3_28_2","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18072.2020.9218515"},{"key":"e_1_3_3_29_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.cej.2016.11.137"},{"key":"e_1_3_3_30_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.852461"},{"key":"e_1_3_3_31_2","doi-asserted-by":"publisher","DOI":"10.1137\/100801275"},{"key":"e_1_3_3_32_2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2494218"},{"key":"e_1_3_3_33_2","first-page":"2951","volume-title":"Advances in Neural Information Processing Systems","author":"Snoek Jasper","year":"2012","unstructured":"Jasper Snoek, Hugo Larochelle, and Ryan P. Adams. 2012. Practical Bayesian optimization of machine learning algorithms. In Advances in Neural Information Processing Systems. 2951\u20132959."},{"key":"e_1_3_3_34_2","first-page":"1674","volume-title":"Proceedings of the International Conference on Machine Learning","author":"Snoek Jasper","year":"2014","unstructured":"Jasper Snoek, Kevin Swersky, Rich Zemel, and Ryan Adams. 2014. Input warping for Bayesian optimization of non-stationary functions. In Proceedings of the International Conference on Machine Learning. 1674\u20131682."},{"key":"e_1_3_3_35_2","doi-asserted-by":"publisher","DOI":"10.5555\/3104322.3104451"},{"key":"e_1_3_3_36_2","first-page":"39","volume-title":"Proceedings of Scientific Computing in Electrical Engineering (SCEE\u201912).","author":"Maten E. J. W. ter","year":"2012","unstructured":"E. J. W. ter Maten, Theo G. J. Beelen, Alex de Vries, and Maikel van Beurden. 2012. Robust time-domain source stepping for DC-solution of circuit equations. In Proceedings of Scientific Computing in Electrical Engineering (SCEE\u201912).39\u201340."},{"key":"e_1_3_3_37_2","first-page":"567","volume-title":"Proceedings of the International Conference on Artificial Intelligence and Statistics","author":"Titsias Michalis K.","year":"2009","unstructured":"Michalis K. Titsias. 2009. Variational learning of inducing variables in sparse Gaussian processes. In Proceedings of the International Conference on Artificial Intelligence and Statistics. 567\u2013574."},{"key":"e_1_3_3_38_2","doi-asserted-by":"publisher","DOI":"10.1587\/nolta.3.287"},{"key":"e_1_3_3_39_2","doi-asserted-by":"publisher","DOI":"10.2478\/v10177-012-0040-4"},{"key":"e_1_3_3_40_2","doi-asserted-by":"publisher","DOI":"10.1109\/43.986427"},{"key":"e_1_3_3_41_2","doi-asserted-by":"publisher","DOI":"10.1109\/43.986427"},{"key":"e_1_3_3_42_2","volume-title":"Electronic Design Automation: Synthesis, Verification, and Test","author":"Wang Laung-Terng","year":"2009","unstructured":"Laung-Terng Wang, Yao-Wen Chang, and Kwang-Ting Tim Cheng. 2009. Electronic Design Automation: Synthesis, Verification, and Test. Morgan Kaufmann."},{"key":"e_1_3_3_43_2","doi-asserted-by":"publisher","DOI":"10.5555\/3305890.3306056"},{"key":"e_1_3_3_44_2","first-page":"370","volume-title":"Proceedings of the 19th International Conference on Artificial Intelligence and Statistics","author":"Wilson Andrew Gordon","year":"2016","unstructured":"Andrew Gordon Wilson, Zhiting Hu, Ruslan Salakhutdinov, and Eric P. Xing. 2016. Deep kernel learning. In Proceedings of the 19th International Conference on Artificial Intelligence and Statistics. 370\u2013378."},{"key":"e_1_3_3_45_2","doi-asserted-by":"publisher","DOI":"10.1587\/nolta.5.512"},{"key":"e_1_3_3_46_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcp.2016.07.040"},{"key":"e_1_3_3_47_2","doi-asserted-by":"publisher","DOI":"10.1145\/1118299.1118400"},{"key":"e_1_3_3_48_2","doi-asserted-by":"publisher","DOI":"10.1109\/81.768822"},{"key":"e_1_3_3_49_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.1999.780151"},{"key":"e_1_3_3_50_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.1999.780151"},{"key":"e_1_3_3_51_2","doi-asserted-by":"publisher","DOI":"10.1093\/ietfec\/e90-a.10.2124"},{"key":"e_1_3_3_52_2","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8714788"},{"key":"e_1_3_3_53_2","doi-asserted-by":"publisher","DOI":"10.1145\/3316781.3317765"},{"key":"e_1_3_3_54_2","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18072.2020.9218592"},{"key":"e_1_3_3_55_2","doi-asserted-by":"publisher","DOI":"10.1145\/279232.279236"}],"container-title":["ACM Transactions on Design Automation of Electronic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3555805","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3555805","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:51:36Z","timestamp":1750182696000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3555805"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12,24]]},"references-count":54,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2023,3,31]]}},"alternative-id":["10.1145\/3555805"],"URL":"https:\/\/doi.org\/10.1145\/3555805","relation":{},"ISSN":["1084-4309","1557-7309"],"issn-type":[{"type":"print","value":"1084-4309"},{"type":"electronic","value":"1557-7309"}],"subject":[],"published":{"date-parts":[[2022,12,24]]},"assertion":[{"value":"2022-03-11","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-07-24","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-12-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}