{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T22:42:40Z","timestamp":1778798560314,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,1,16]],"date-time":"2023-01-16T00:00:00Z","timestamp":1673827200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,1,16]]},"DOI":"10.1145\/3566097.3567894","type":"proceedings-article","created":{"date-parts":[[2023,1,31]],"date-time":"2023-01-31T18:40:49Z","timestamp":1675190449000},"page":"159-165","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Area-Driven FPGA Logic Synthesis Using Reinforcement Learning"],"prefix":"10.1145","author":[{"given":"Guanglei","family":"Zhou","sequence":"first","affiliation":[{"name":"University of Toronto, Toronto, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jason H.","family":"Anderson","sequence":"additional","affiliation":[{"name":"University of Toronto, Toronto, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,1,31]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proc. 24th Int. Workshop on Logic & Synthesis (IWLS).","author":"Amar\u00fa Luca","year":"2015","unstructured":"Luca Amar\u00fa, Pierre-Emmanuel Gaillardon, and Giovanni De Micheli. 2015. The EPFL combinational benchmark suite. In Proc. 24th Int. Workshop on Logic & Synthesis (IWLS)."},{"key":"e_1_3_2_1_2_1","first-page":"679","article-title":"A Markovian decision process","volume":"6","author":"Bellman Richard","year":"1957","unstructured":"Richard Bellman. 1957. A Markovian decision process. Journal of mathematics and mechanics 6, 5 (1957), 679--684.","journal-title":"Journal of mathematics and mechanics"},{"key":"e_1_3_2_1_3_1","volume-title":"arXiv:1606.01540","author":"Brockman Greg","year":"2016","unstructured":"Greg Brockman, Vicki Cheung, Ludwig Pettersson, Jonas Schneider, John Schulman, Jie Tang, and Wojciech Zaremba. 2016. OpenAI Gym. (2016). arXiv:1606.01540"},{"key":"e_1_3_2_1_4_1","volume-title":"Proc. 3rd Conf. on Machine Learning and Syst. (MLSys). 70--81","author":"Haj-Ali Ameer","year":"2020","unstructured":"Ameer Haj-Ali, Qijing Huang, John Xiang, William Moses, Krste Asanovic, John Wawrzynek, and Ion Stoica. 2020. AutoPhase: Juggling HLS Phase Orderings in Random Forests with Deep Reinforcement Learning. In Proc. 3rd Conf. on Machine Learning and Syst. (MLSys). 70--81."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASP-DAC47756.2020.9045559"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.728919"},{"key":"e_1_3_2_1_7_1","unstructured":"Gilles Louppe. 2015. Understanding Random Forests: From Theory to Practice. arXiv:1407.7502"},{"key":"e_1_3_2_1_8_1","volume-title":"ABC: A system for sequential synthesis and verification","author":"Mishchenko A.","year":"2007","unstructured":"A. Mishchenko. 2007. ABC: A system for sequential synthesis and verification. http:\/\/www.eecs.berkeley.edu\/alanmi\/abc"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2007.4397290"},{"key":"e_1_3_2_1_10_1","volume-title":"Mehdi Mirza, Alex Graves, Timothy P. Lillicrap, Tim Harley, David Silver, and Koray Kavukcuoglu.","author":"Mnih Volodymyr","year":"2016","unstructured":"Volodymyr Mnih, Adri\u00e0 Puigdom\u00e8nech Badia, Mehdi Mirza, Alex Graves, Timothy P. Lillicrap, Tim Harley, David Silver, and Koray Kavukcuoglu. 2016. Asynchronous Methods for Deep Reinforcement Learning. (2016). arXiv:1602.01783"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Volodymyr Mnih and et al. 2015. Human-level control through deep reinforcement learning. Nature 518 7540 (2015) 529--533.","DOI":"10.1038\/nature14236"},{"key":"e_1_3_2_1_12_1","unstructured":"Antonin Raffin Ashley Hill Maximilian Ernestus Adam Gleave Anssi Kanervisto and Noah Dormann. 2019. Stable Baselines3. https:\/\/github.com\/DLR-RM\/stable-baselines3."},{"key":"e_1_3_2_1_13_1","unstructured":"John Schulman Sergey Levine Philipp Moritz Michael I. Jordan and Pieter Abbeel. 2017. Trust Region Policy Optimization. arXiv:1502.05477"},{"key":"e_1_3_2_1_14_1","volume-title":"Proximal Policy Optimization Algorithms. (Aug","author":"Schulman John","year":"2017","unstructured":"John Schulman, Filip Wolski, Prafulla Dhariwal, Alec Radford, and Oleg Klimov. 2017. Proximal Policy Optimization Algorithms. (Aug 2017). arXiv:1707.06347"},{"key":"e_1_3_2_1_15_1","volume-title":"Barto","author":"Sutton Richard S.","year":"2018","unstructured":"Richard S. Sutton and Andrew G. Barto. 2018. Reinforcement Learning: An Introduction. A Bradford Book, Cambridge, MA, USA."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3380446.3430622"}],"event":{"name":"ASPDAC '23: 28th Asia and South Pacific Design Automation Conference","location":"Tokyo Japan","acronym":"ASPDAC '23","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE CEDA","IEICE","IEEE CAS","IPSJ"]},"container-title":["Proceedings of the 28th Asia and South Pacific Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3566097.3567894","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3566097.3567894","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,7]],"date-time":"2026-01-07T17:36:43Z","timestamp":1767807403000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3566097.3567894"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,16]]},"references-count":16,"alternative-id":["10.1145\/3566097.3567894","10.1145\/3566097"],"URL":"https:\/\/doi.org\/10.1145\/3566097.3567894","relation":{},"subject":[],"published":{"date-parts":[[2023,1,16]]},"assertion":[{"value":"2023-01-31","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}