{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T20:47:35Z","timestamp":1774039655284,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":54,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2229562"],"award-info":[{"award-number":["2229562"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2349670"],"award-info":[{"award-number":["2349670"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2349461"],"award-info":[{"award-number":["2349461"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2403134"],"award-info":[{"award-number":["2403134"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,10,27]]},"DOI":"10.1145\/3676536.3676762","type":"proceedings-article","created":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T12:53:56Z","timestamp":1744203236000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["MapTune: Advancing ASIC Technology Mapping via Reinforcement Learning Guided Library Tuning"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-9669-2561","authenticated-orcid":false,"given":"Mingju","family":"Liu","sequence":"first","affiliation":[{"name":"University of Maryland, College Park, College Park, Maryland, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-0991-1457","authenticated-orcid":false,"given":"Daniel","family":"Robinson","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, Massachusetts, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1144-7401","authenticated-orcid":false,"given":"Yingjie","family":"Li","sequence":"additional","affiliation":[{"name":"University of Maryland, College Park, College Park, Maryland, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3481-307X","authenticated-orcid":false,"given":"Cunxi","family":"Yu","sequence":"additional","affiliation":[{"name":"University of Maryland, College Park, College Park, Maryland, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,4,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2684746.2689081"},{"issue":"4","key":"e_1_3_2_1_2_1","first-page":"13","article-title":"Machine Learning Techniques for Taming the Complexity of Modern Hardware Design","volume":"61","author":"Ziegler Matthew M.","year":"2017","unstructured":"Matthew M. Ziegler, Ramon Bertran Monfort, Alper Buyuktosunoglu, and Pradip Bose. Machine Learning Techniques for Taming the Complexity of Modern Hardware Design. IBM Journal of Research and Development, 61(4):13, 2017.","journal-title":"IBM Journal of Research and Development"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI.2018.00046"},{"key":"e_1_3_2_1_4_1","volume-title":"Zhiru Zhang. LAMDA: Learning-Assisted Multi-stage Autotuning for FPGA Design Closure. In FCCM'19","author":"Ustun Ecenur","unstructured":"Ecenur Ustun, Shaojie Xiang, Jinny Gui, Cunxi Yu, and Zhiru Zhang. LAMDA: Learning-Assisted Multi-stage Autotuning for FPGA Design Closure. In FCCM'19."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488795"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2019.8697679"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897937.2898012"},{"key":"e_1_3_2_1_8_1","first-page":"1","volume-title":"Proceedings of the 55th Annual Design Automation Conference, DAC 2018","author":"Yu Cunxi","year":"2018","unstructured":"Cunxi Yu, Houping Xiao, and Giovanni De Micheli. Developing synthesis flows without human knowledge. In Proceedings of the 55th Annual Design Automation Conference, DAC 2018, San Francisco, CA, USA, June 24--29, 2018, pages 50:1--50:6, 2018."},{"key":"e_1_3_2_1_9_1","volume-title":"Drills: Deep reinforcement learning for logic synthesis. arXiv preprint arXiv:1911.04021","author":"Hosny Abdelrahman","year":"2019","unstructured":"Abdelrahman Hosny, Soheil Hashemi, Mohamed Shalan, and Sherief Reda. Drills: Deep reinforcement learning for logic synthesis. arXiv preprint arXiv:1911.04021, 2019."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3316781.3317838"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3380446.3430638"},{"key":"e_1_3_2_1_12_1","first-page":"1","volume-title":"Proceedings of the 39th International Conference on Computer-Aided Design","author":"Flowtune Cunxi Yu.","year":"2020","unstructured":"Cunxi Yu. Flowtune: Practical multi-armed bandits in boolean optimization. In Proceedings of the 39th International Conference on Computer-Aided Design, pages 1--9, 2020."},{"key":"e_1_3_2_1_13_1","article-title":"High-level synthesis design space exploration: Past, present and future","author":"Schafer Benjamin Carrion","year":"2019","unstructured":"Benjamin Carrion Schafer and Zi Wang. High-level synthesis design space exploration: Past, present and future. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2019.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3316781.3317754"},{"key":"e_1_3_2_1_15_1","article-title":"End-to-end automatic logic optimization exploration via domain-specific multi-armed bandit","author":"Neto Walter Lau","year":"2022","unstructured":"Walter Lau Neto, Yingjie Li, Pierre-Emmanuel Gaillardon, and Cunxi Yu. Flowtune: End-to-end automatic logic optimization exploration via domain-specific multi-armed bandit. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2022.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"e_1_3_2_1_16_1","volume-title":"Cbtune: Contextual bandit tuning for logic synthesis","author":"Liu Fangzhou","year":"2024","unstructured":"Fangzhou Liu, Zehua Pei, Ziyang Yu, Haisheng Zheng, Zhuolun He, Tinghuan Chen, and Bei Yu. Cbtune: Contextual bandit tuning for logic synthesis. 2024."},{"key":"e_1_3_2_1_17_1","volume-title":"ACM","author":"Xie Zhiyao","year":"2018","unstructured":"Zhiyao Xie, Yu-Hung Huang, Guan-Qi Fang, Haoxing Ren, Shao-Yun Fang, Yiran Chen, et al. Routenet: routability prediction for mixed-size designs using convolutional neural network. In ICCAD, page 80. ACM, 2018."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2018.8465816"},{"key":"e_1_3_2_1_19_1","first-page":"66","volume-title":"David Z Pan. WellGAN: Generative-Adversarial-Network-Guided Well Generation for Analog\/Mixed-Signal Circuit Layout. In Proceedings of the 56th Annual Design Automation Conference","author":"Xu Biying","year":"2019","unstructured":"Biying Xu, Yibo Lin, Xiyuan Tang, Shaolan Li, Linxiao Shen, Nan Sun, and David Z Pan. WellGAN: Generative-Adversarial-Network-Guided Well Generation for Analog\/Mixed-Signal Circuit Layout. In Proceedings of the 56th Annual Design Automation Conference 2019, page 66. ACM, 2019."},{"key":"e_1_3_2_1_20_1","volume-title":"Chip placement with deep reinforcement learning. arXiv preprint arXiv:2004.10746","author":"Mirhoseini Azalia","year":"2020","unstructured":"Azalia Mirhoseini, Anna Goldie, Mustafa Yazgan, Joe Jiang, Ebrahim Songhori, Shen Wang, Young-Joon Lee, Eric Johnson, Omkar Pathak, Sungmin Bae, et al. Chip placement with deep reinforcement learning. arXiv preprint arXiv:2004.10746, 2020."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3316781.3317876"},{"key":"e_1_3_2_1_22_1","first-page":"1","volume-title":"Proceedings of the 56th Annual Design Automation Conference 2019","author":"Yang Haoyu","year":"2019","unstructured":"Haoyu Yang, Piyush Pathak, Frank Gennari, Ya-Chieh Lai, and Bei Yu. Deepattern: Layout pattern generation with transforming convolutional auto-encoder. In Proceedings of the 56th Annual Design Automation Conference 2019, pages 1--6, 2019."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18072.2020.9218530"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.mejo.2016.04.006"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3394885.3431560"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586230"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_5"},{"key":"e_1_3_2_1_28_1","first-page":"1929","volume-title":"1989 IEEE International Symposium on Circuits and Systems (ISCAS)","author":"Brglez Franc","year":"1989","unstructured":"Franc Brglez, David Bryan, and Krzysztof Kozminski. Combinational profiles of sequential benchmark circuits. In 1989 IEEE International Symposium on Circuits and Systems (ISCAS), pages 1929--1934. IEEE, 1989."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/54.867895"},{"key":"e_1_3_2_1_30_1","volume-title":"VTR 8.0: Next generation architecture and CAD system for FPGAs. ACM Transactions on Reconfigurable Technology and Systems (TRETS), 7(2):6","author":"Luu Jason","year":"2014","unstructured":"Jason Luu, Jeffrey Goeders, Michael Wainberg, Andrew Somerville, Thien Yu, Konstantin Nasartschuk, Miad Nasr, Sen Wang, Tim Liu, Nooruddin Ahmed, et al. VTR 8.0: Next generation architecture and CAD system for FPGAs. ACM Transactions on Reconfigurable Technology and Systems (TRETS), 7(2):6, 2014."},{"key":"e_1_3_2_1_31_1","volume-title":"The epfl logic synthesis libraries. arXiv preprint arXiv:1805.05121","author":"Soeken Mathias","year":"2018","unstructured":"Mathias Soeken, Heinz Riener, Winston Haaswijk, Eleonora Testa, Bruno Schmitt, Giulia Meuli, Fereshte Mozafari, and Giovanni De Micheli. The epfl logic synthesis libraries. arXiv preprint arXiv:1805.05121, 2018."},{"key":"e_1_3_2_1_32_1","unstructured":"NC State FreePDK45's Documentation. https:\/\/eda.ncsu.edu\/freepdk\/freepdk45\/."},{"key":"e_1_3_2_1_33_1","unstructured":"SkyWater SKY130 PDK's Documentation. https:\/\/skywater-pdk.readthedocs.io\/en\/main\/."},{"key":"e_1_3_2_1_34_1","unstructured":"GlobalFoundries 0.18UM 3.3V\/(5V)6V MCU PDK's Documentation. https:\/\/gf180mcu-pdk.readthedocs.io\/en\/latest\/."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1993.580119"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.273754"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1117201.1117208"},{"key":"e_1_3_2_1_38_1","volume-title":"Technology Mapping with Boolean Matching, Supergates and Choices","author":"Mishchenko Alan","year":"2005","unstructured":"Alan Mishchenko, Satrajit Chatterjee, Robert Brayton, Xinning Wang, and Timothy Kam. Technology Mapping with Boolean Matching, Supergates and Choices. 2005."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147048"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/EURDAC.1993.410654"},{"key":"e_1_3_2_1_41_1","first-page":"1","volume-title":"Automation & Test in Europe Conference & Exhibition (DATE)","author":"Li Yingjie","year":"2024","unstructured":"Yingjie Li, Anthony Agnesina, Yanqing Zhang, Haoxing Ren, and Cunxi Yu. Boolgebra: Attributed graph-learning for boolean algebraic manipulation. In 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE), pages 1--2. IEEE, 2024."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586188"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2021.3109863"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3195970.3196026"},{"key":"e_1_3_2_1_45_1","volume-title":"Machine Learning Applications in Electronic Design Automation","author":"Ren Haoxing","year":"2023","unstructured":"Haoxing Ren and Jiang Hu. Machine Learning Applications in Electronic Design Automation. Springer Nature, 2023."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3372780.3375560"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD45719.2019.8942063"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASP-DAC47756.2020.9045178"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2018.8351885"},{"key":"e_1_3_2_1_50_1","unstructured":"Alan Mishchenko et al. Abc: A system for sequential synthesis and verification. http:\/\/www.eecs.berkeley.edu\/alanmi\/abc 17 2007."},{"key":"e_1_3_2_1_51_1","volume-title":"Algorithms for multi-armed bandit problems. arXiv preprint arXiv:1402.6028","author":"Kuleshov Volodymyr","year":"2014","unstructured":"Volodymyr Kuleshov and Doina Precup. Algorithms for multi-armed bandit problems. arXiv preprint arXiv:1402.6028, 2014."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2010.5502014"},{"key":"e_1_3_2_1_53_1","volume-title":"Human-level control through deep reinforcement learning. nature, 518(7540):529--533","author":"Mnih Volodymyr","year":"2015","unstructured":"Volodymyr Mnih, Koray Kavukcuoglu, David Silver, Andrei A Rusu, Joel Veness, Marc G Bellemare, Alex Graves, Martin Riedmiller, Andreas K Fidjeland, Georg Ostrovski, et al. Human-level control through deep reinforcement learning. nature, 518(7540):529--533, 2015."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v30i1.10295"}],"event":{"name":"ICCAD '24: 43rd IEEE\/ACM International Conference on Computer-Aided Design","location":"Newark Liberty International Airport Marriott New York NY USA","acronym":"ICCAD '24","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CEDA","IEEE EDS"]},"container-title":["Proceedings of the 43rd IEEE\/ACM International Conference on Computer-Aided Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3676536.3676762","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3676536.3676762","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3676536.3676762","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:43:58Z","timestamp":1750290238000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3676536.3676762"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,27]]},"references-count":54,"alternative-id":["10.1145\/3676536.3676762","10.1145\/3676536"],"URL":"https:\/\/doi.org\/10.1145\/3676536.3676762","relation":{},"subject":[],"published":{"date-parts":[[2024,10,27]]},"assertion":[{"value":"2025-04-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}