{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T14:12:00Z","timestamp":1773843120139,"version":"3.50.1"},"reference-count":38,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,10,28]],"date-time":"2023-10-28T00:00:00Z","timestamp":1698451200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,10,28]],"date-time":"2023-10-28T00:00:00Z","timestamp":1698451200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62274100"],"award-info":[{"award-number":["62274100"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,10,28]]},"DOI":"10.1109\/iccad57390.2023.10323798","type":"proceedings-article","created":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T18:58:45Z","timestamp":1701370725000},"page":"1-9","source":"Crossref","is-referenced-by-count":33,"title":["DeepGate2: Functionality-Aware Circuit Representation Learning"],"prefix":"10.1109","author":[{"given":"Zhengyuan","family":"Shi","sequence":"first","affiliation":[{"name":"The Chinese University of Hong Kong"}]},{"given":"Hongyang","family":"Pan","sequence":"additional","affiliation":[{"name":"Ningbo University"}]},{"given":"Sadaf","family":"Khan","sequence":"additional","affiliation":[{"name":"The Chinese University of Hong Kong"}]},{"given":"Min","family":"Li","sequence":"additional","affiliation":[{"name":"The Chinese University of Hong Kong"}]},{"given":"Yi","family":"Liu","sequence":"additional","affiliation":[{"name":"The Chinese University of Hong Kong"}]},{"given":"Junhua","family":"Huang","sequence":"additional","affiliation":[{"name":"Huawei,Noah's Ark Lab"}]},{"given":"Hui-Ling","family":"Zhen","sequence":"additional","affiliation":[{"name":"Huawei,Noah's Ark Lab"}]},{"given":"Mingxuan","family":"Yuan","sequence":"additional","affiliation":[{"name":"Huawei,Noah's Ark Lab"}]},{"given":"Zhufei","family":"Chu","sequence":"additional","affiliation":[{"name":"Ningbo University"}]},{"given":"Qiang","family":"Xu","sequence":"additional","affiliation":[{"name":"The Chinese University of Hong Kong"}]}],"member":"263","reference":[{"key":"ref1","first-page":"1","article-title":"Pros: A plug-in for routability optimization applied in the state-of-the-art commercial eda tool using deep learning","volume-title":"Proceedings of the 39th International Conference on Computer-Aided Design","author":"Chen","year":"2020"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-021-03544-w"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/iccad45719.2019.8942145"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2018.8351885"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ITC50671.2022.00027"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ITC50671.2022.00010"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530497"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530410"},{"key":"ref9","first-page":"1","article-title":"Tag: Learning circuit spatial embedding from layouts","volume-title":"Proceedings of the 41st IEEEIACM International Conference on Computer-Aided Design","author":"Zhu","year":"2022"},{"key":"ref10","article-title":"Maskplace: Fast chip placement via rein-forced visual representation learning","author":"Lai","year":"2022","journal-title":"arXiv preprint"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8715251"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD51958.2021.9643581"},{"key":"ref13","article-title":"Deepsat: An eda-driven learning framework for sat","author":"Li","year":"2022","journal-title":"arXiv preprint"},{"key":"ref14","article-title":"Fraigs: A unifying representation for logic synthesis and verification","volume-title":"ERL Technical Report, Tech. Rep.","author":"Mishchenko","year":"2005"},{"key":"ref15","first-page":"8","article-title":"Cadical at the sat race 2019","author":"QUEUE","year":"2019","journal-title":"SAT RACE 2019"},{"key":"ref16","first-page":"1877","article-title":"Language mod-els are few-shot learners","volume":"33","author":"Brown","year":"2020","journal-title":"Advances in neural information processing systems"},{"key":"ref17","article-title":"Bert: Pre-training of deep bidirectional transformers for language understanding","author":"Devlin","year":"2018","journal-title":"ar Xiv preprint"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2018.00393"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24261-3_7"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.1706.03762"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1553374.1553380"},{"key":"ref22","article-title":"An overview of multi-task learning in deep neural networks","author":"Ruder","year":"2017","journal-title":"arXiv preprint"},{"key":"ref23","article-title":"Characteristics of the itc\u2019 99 benchmark circuits","volume-title":"ITSW","author":"Davidson","year":"1999"},{"key":"ref24","article-title":"Iwls 2005 benchmarks","volume-title":"IWLS","author":"Albrecht","year":"2005"},{"issue":"CONF","key":"ref25","article-title":"The epfl combinational benchmark suite","volume-title":"IWLS","author":"Amaru","year":"2015"},{"key":"ref26","article-title":"Opencores","volume-title":"https:\/\/opencores.org\/.","author":"Team"},{"key":"ref27","article-title":"Adam: A method for stochastic optimization","author":"Kingma","year":"2014","journal-title":"arXiv preprint"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2002.804386"},{"key":"ref29","first-page":"11","article-title":"Integrating an aig package, simulator, and sat solver","volume-title":"International Workshop on Logic and Synthesis (IWLS)","author":"Mishchenko","year":"2018"},{"key":"ref30","article-title":"Abc: A system for sequential synthesis and verification","volume-title":"http:\/\/www-cad.eecs.berkeley.edu\/alanmi\/abc","author":"Synthesis","year":"2023"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2001.915010"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45069-6_1"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2004.1337546"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253719"},{"key":"ref35","first-page":"7","article-title":"Glucose: a solver that predicts learnt clauses quality","author":"Audemard","year":"2009","journal-title":"SAT Competition"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1142\/S0218213018400018"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-81955-1_28"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.3233\/FAIA200987"}],"event":{"name":"2023 IEEE\/ACM International Conference on Computer Aided Design (ICCAD)","location":"San Francisco, CA, USA","start":{"date-parts":[[2023,10,28]]},"end":{"date-parts":[[2023,11,2]]}},"container-title":["2023 IEEE\/ACM International Conference on Computer Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10323590\/10323543\/10323798.pdf?arnumber=10323798","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T04:52:26Z","timestamp":1710391946000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10323798\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,28]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/iccad57390.2023.10323798","relation":{},"subject":[],"published":{"date-parts":[[2023,10,28]]}}}