{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T16:22:32Z","timestamp":1781972552478,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,7,10]],"date-time":"2022-07-10T00:00:00Z","timestamp":1657411200000},"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":[[2022,7,10]]},"DOI":"10.1145\/3489517.3530497","type":"proceedings-article","created":{"date-parts":[[2022,8,23]],"date-time":"2022-08-23T23:19:29Z","timestamp":1661296769000},"page":"667-672","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":50,"title":["DeepGate"],"prefix":"10.1145","author":[{"given":"Min","family":"Li","sequence":"first","affiliation":[{"name":"The Chinese University of Hong Kong"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sadaf","family":"Khan","sequence":"additional","affiliation":[{"name":"The Chinese University of Hong Kong"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhengyuan","family":"Shi","sequence":"additional","affiliation":[{"name":"The Chinese University of Hong Kong"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Naixing","family":"Wang","sequence":"additional","affiliation":[{"name":"Huawei Technologies Co., Ltd."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Huang","family":"Yu","sequence":"additional","affiliation":[{"name":"Huawei Technologies Co., Ltd."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Qiang","family":"Xu","sequence":"additional","affiliation":[{"name":"The Chinese University of Hong Kong"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,8,23]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"IWLS 2005 benchmarks. In IWLS.","author":"Albrecht Christoph","year":"2005","unstructured":"Christoph Albrecht. 2005. IWLS 2005 benchmarks. In IWLS."},{"key":"e_1_3_2_1_2_1","unstructured":"Luca Amar\u00fa Pierre-Emmanuel Gaillardon and Giovanni De Micheli. 2015. The EPFL combinational benchmark suite. In IWLS."},{"key":"e_1_3_2_1_3_1","unstructured":"Saeed Amizadeh Sergiy Matusevych and Markus Weimer. 2019. Learning To Solve Circuit-SAT: An Unsupervised Differentiable Approach. In ICLR."},{"key":"e_1_3_2_1_4_1","unstructured":"Rishi Bommasani et al. 2021. On the opportunities and risks of foundation models. arXiv preprint arXiv:2108.07258 (2021)."},{"key":"e_1_3_2_1_5_1","volume-title":"ABC: An academic industrial-strength verification tool","author":"Brayton Robert","year":"2010","unstructured":"Robert Brayton and Alan Mishchenko. 2010. ABC: An academic industrial-strength verification tool. In CAV. Springer, 24--40."},{"key":"e_1_3_2_1_6_1","unstructured":"Tom B Brown et al. 2020. Language models are few-shot learners. arXiv preprint arXiv:2005.14165 (2020)."},{"key":"e_1_3_2_1_7_1","volume-title":"Characteristics of the ITC'99 benchmark circuits. In ITSW.","author":"Davidson Scott","year":"1999","unstructured":"Scott Davidson. 1999. Characteristics of the ITC'99 benchmark circuits. In ITSW."},{"key":"e_1_3_2_1_8_1","volume-title":"Bert: Pre-training of deep bidirectional transformers for language understanding. arXiv preprint arXiv:1810.04805","author":"Jacob Devlin","year":"2018","unstructured":"Jacob Devlin et al. 2018. Bert: Pre-training of deep bidirectional transformers for language understanding. arXiv preprint arXiv:1810.04805 (2018)."},{"key":"e_1_3_2_1_9_1","unstructured":"J. Gilmer et al. 2017. Neural message passing for quantum chemistry. In ICML."},{"key":"e_1_3_2_1_10_1","unstructured":"William L Hamilton Rex Ying and Jure Leskovec. 2017. Inductive representation learning on large graphs. In NIPS."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Xu Han et al. 2021. Pre-trained models: Past present and future. AI Open (2021).","DOI":"10.1016\/j.aiopen.2021.08.002"},{"key":"e_1_3_2_1_12_1","unstructured":"Weihua Hu et al. 2020. Open graph benchmark: Datasets for machine learning on graphs. arXiv preprint arXiv:2005.00687 (2020)."},{"key":"e_1_3_2_1_13_1","unstructured":"Guyue Huang et al. 2021. Machine learning for electronic design automation: A survey. TODAES (2021)."},{"key":"e_1_3_2_1_14_1","volume-title":"Semi-supervised classification with graph convolutional networks. arXiv preprint arXiv:1609.02907","author":"Kipf Thomas N","year":"2016","unstructured":"Thomas N Kipf and Max Welling. 2016. Semi-supervised classification with graph convolutional networks. arXiv preprint arXiv:1609.02907 (2016)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Robert Kirby et al. 2019. CongestionNet: Routing congestion prediction using deep graph neural networks. In VLSI-SoC. IEEE.","DOI":"10.1109\/VLSI-SoC.2019.8920342"},{"key":"e_1_3_2_1_16_1","unstructured":"Yuzhe Ma et al. 2019. High performance graph convolutional networks with applications in testability analysis. In DAC."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1049\/ip-e.1987.0019"},{"key":"e_1_3_2_1_18_1","volume-title":"International Conference on Learning Representations.","author":"Daniel","unstructured":"Daniel Selsam et al. 2018. Learning a SAT Solver from Single-Bit Supervision. In International Conference on Learning Representations."},{"key":"e_1_3_2_1_19_1","volume-title":"Le","author":"Sutskever Ilya","year":"2014","unstructured":"Ilya Sutskever, Oriol Vinyals, and Quoc V. Le. 2014. Sequence to Sequence Learning with Neural Networks. arXiv:1409.3215"},{"key":"e_1_3_2_1_20_1","unstructured":"Opencores Team. [n. d.]. Opencores. https:\/\/opencores.org\/."},{"key":"e_1_3_2_1_21_1","volume":"202","author":"Thost V.","unstructured":"V. Thost and J. Chen. 2021. Directed Acyclic Graph Neural Networks. In ICLR.","journal-title":"J. Chen."},{"key":"e_1_3_2_1_22_1","unstructured":"Ashish Vaswani et al. 2017. Attention is all you need. In NIPS."},{"key":"e_1_3_2_1_23_1","unstructured":"Petar Veli\u010dkovi\u0107 et al. 2017. Graph Attention Networks. ICLR (2017)."},{"key":"e_1_3_2_1_24_1","volume-title":"Socialgcn: An efficient graph convolutional network based model for social recommendation. arXiv preprint arXiv:1811.02815","author":"Le Wu","year":"2018","unstructured":"Le Wu et al. 2018. Socialgcn: An efficient graph convolutional network based model for social recommendation. arXiv preprint arXiv:1811.02815 (2018)."},{"key":"e_1_3_2_1_25_1","unstructured":"Zonghan Wu et al. 2020. A comprehensive survey on graph neural networks. IEEE transactions on neural networks and learning systems (2020)."},{"key":"e_1_3_2_1_26_1","unstructured":"Zhiyao Xie et al. 2021. Net2: A Graph Attention Network Method Customized for Pre-Placement Net Length Estimation. In ASP-DAC. IEEE."},{"key":"e_1_3_2_1_27_1","unstructured":"Muhan Zhang et al. 2019. D-VAE: A Variational Autoencoder for Directed Acyclic Graphs. arXiv:1904.11088"},{"key":"e_1_3_2_1_28_1","volume-title":"GRANNITE: Graph neural network inference for transferable power estimation","author":"Zhang Yanqing","year":"2020","unstructured":"Yanqing Zhang, Haoxing Ren, and Brucek Khailany. 2020. GRANNITE: Graph neural network inference for transferable power estimation. In DAC. IEEE."}],"event":{"name":"DAC '22: 59th ACM\/IEEE Design Automation Conference","location":"San Francisco California","acronym":"DAC '22","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE CEDA"]},"container-title":["Proceedings of the 59th ACM\/IEEE Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3489517.3530497","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3489517.3530497","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:02:17Z","timestamp":1750186937000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3489517.3530497"}},"subtitle":["learning neural representations of logic gates"],"short-title":[],"issued":{"date-parts":[[2022,7,10]]},"references-count":28,"alternative-id":["10.1145\/3489517.3530497","10.1145\/3489517"],"URL":"https:\/\/doi.org\/10.1145\/3489517.3530497","relation":{},"subject":[],"published":{"date-parts":[[2022,7,10]]},"assertion":[{"value":"2022-08-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}