{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,25]],"date-time":"2026-06-25T01:59:51Z","timestamp":1782352791018,"version":"3.54.5"},"reference-count":40,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,1,22]],"date-time":"2024-01-22T00:00:00Z","timestamp":1705881600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,1,22]],"date-time":"2024-01-22T00:00:00Z","timestamp":1705881600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,1,22]]},"DOI":"10.1109\/asp-dac58780.2024.10473925","type":"proceedings-article","created":{"date-parts":[[2024,3,25]],"date-time":"2024-03-25T19:06:53Z","timestamp":1711393613000},"page":"728-733","source":"Crossref","is-referenced-by-count":10,"title":["LSTP: A Logic Synthesis Timing Predictor"],"prefix":"10.1109","author":[{"given":"Haisheng","family":"Zheng","sequence":"first","affiliation":[{"name":"Shanghai AI Laboratory,Shanghai,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhuolun","family":"He","sequence":"additional","affiliation":[{"name":"Shanghai AI Laboratory,Shanghai,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fangzhou","family":"Liu","sequence":"additional","affiliation":[{"name":"Shanghai AI Laboratory,Shanghai,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zehua","family":"Pei","sequence":"additional","affiliation":[{"name":"Shanghai AI Laboratory,Shanghai,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bei","family":"Yu","sequence":"additional","affiliation":[{"name":"The Chinese University of Hong Kong"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1201\/9781420007954"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2869760"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD51958.2021.9643455"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3470496.3527444"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3177540.3177554"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-2821-6"},{"key":"ref7","volume-title":"Synthesis and optimization of digital circuits","author":"Micheli","year":"1994"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.264"},{"key":"ref9","article-title":"Minisat v1. 13-a sat solver with conflict-clause minimization","volume-title":"SAT","author":"Sorensson"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.23919\/DATE51398.2021.9473961"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD51958.2021.9643521"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3400302.3415657"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3380446.3430638"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ASP-DAC47756.2020.9045574"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18072.2020.9218643"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/tcad.2022.3197977"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/tcad.2021.3107250"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ASAP54787.2022.00013"},{"key":"ref19","article-title":"Openabc-d: A large-scale dataset for machine learning guided integrated circuit synthesis","author":"Chowdhury","year":"2021","journal-title":"arXiv preprint arXiv:2110.11292"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3195970.3196026"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2018.8351885"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3380446.3430622"},{"key":"ref23","article-title":"Local two-level and-inverter graph minimization without blowup","volume-title":"Proc. MEMICS","author":"Brummayer"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_5"},{"key":"ref25","volume-title":"Yosys open synthesis suite","author":"Wolf","year":"2016"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD51958.2021.9643581"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/tcad.2021.3110807"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530410"},{"key":"ref29","article-title":"GraphSAINT: Graph sampling based inductive learning method","volume-title":"Proc. ICLR","author":"Zeng"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/358598.358613"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.811447"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1988.122511"},{"key":"ref33","volume-title":"Opencores hardware rtl designs"},{"key":"ref34","volume-title":"Black parrot soc"},{"key":"ref35","volume-title":"Aes 128\/256-bit symmetric block cipher"},{"key":"ref36","volume-title":"Aes 128\/256-bit symmetric block cipher"},{"key":"ref37","volume-title":"Mit common evaluation platform(cep)"},{"key":"ref38","article-title":"Openroad: Toward a self-driving, open-source digital layout implementation tool chain","volume-title":"Proc. GOMACTech","author":"Ajayi"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2954679.2872414"},{"key":"ref40","volume-title":"Attention is all you need","author":"Vaswani","year":"2017"}],"event":{"name":"2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC)","location":"Incheon, Korea, Republic of","start":{"date-parts":[[2024,1,22]]},"end":{"date-parts":[[2024,1,25]]}},"container-title":["2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10473777\/10473787\/10473925.pdf?arnumber=10473925","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,26]],"date-time":"2024-03-26T21:33:59Z","timestamp":1711488839000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10473925\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1,22]]},"references-count":40,"URL":"https:\/\/doi.org\/10.1109\/asp-dac58780.2024.10473925","relation":{},"subject":[],"published":{"date-parts":[[2024,1,22]]}}}