{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,22]],"date-time":"2026-06-22T20:48:48Z","timestamp":1782161328924,"version":"3.54.5"},"reference-count":42,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"7","license":[{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Major Key Project of PCL","award":["PCL2025AS04"],"award-info":[{"award-number":["PCL2025AS04"]}]},{"name":"Major Key Project of PCL","award":["PCL2025AS05"],"award-info":[{"award-number":["PCL2025AS05"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62090024"],"award-info":[{"award-number":["62090024"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"NSF of Fujian Province","award":["2024J09045"],"award-info":[{"award-number":["2024J09045"]}]},{"name":"Guangdong Provincial Quantum Science Strategic Initiative","award":["GDZX2403001"],"award-info":[{"award-number":["GDZX2403001"]}]},{"name":"Innovation Program for Quantum Science and Technology","award":["2021ZD0302901"],"award-info":[{"award-number":["2021ZD0302901"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2026,7]]},"DOI":"10.1109\/tcad.2025.3628790","type":"journal-article","created":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T18:36:19Z","timestamp":1762281379000},"page":"3238-3251","source":"Crossref","is-referenced-by-count":1,"title":["<i>BoolSkeleton<\/i>\n                    : Boolean Network Skeletonization via Homogeneous Pattern Reduction"],"prefix":"10.1109","volume":"45","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-7525-9375","authenticated-orcid":false,"given":"Liwei","family":"Ni","sequence":"first","affiliation":[{"name":"Chinese Academy of Sciences, State Key Laboratory of Processors, Institute of Computing Technology, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6599-6142","authenticated-orcid":false,"given":"Jiaxi","family":"Zhang","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shenggen","family":"Zheng","sequence":"additional","affiliation":[{"name":"Quantum Science Center of Guangdong-Hong Kong-Macao Greater Bay Area, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-8205-4564","authenticated-orcid":false,"given":"Junfeng","family":"Liu","sequence":"additional","affiliation":[{"name":"Pengcheng Laboratory, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5787-0101","authenticated-orcid":false,"given":"Xingyu","family":"Meng","sequence":"additional","affiliation":[{"name":"Pengcheng Laboratory, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Biwei","family":"Xie","sequence":"additional","affiliation":[{"name":"Chinese Academy of Sciences, State Key Laboratory of Processors, Institute of Computing Technology, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7145-9391","authenticated-orcid":false,"given":"Xingquan","family":"Li","sequence":"additional","affiliation":[{"name":"Pengcheng Laboratory, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8082-4218","authenticated-orcid":false,"given":"Huawei","family":"Li","sequence":"additional","affiliation":[{"name":"Chinese Academy of Sciences, State Key Laboratory of Processors, Institute of Computing Technology, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/5.52213"},{"key":"ref2","volume-title":"Synthesis and Optimization of Digital Circuits","author":"Micheli","year":"1994"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/774572.774654"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147048"},{"key":"ref5","first-page":"15","article-title":"Scalable logic synthesis using a simple circuit structure","volume-title":"Proc. Int. Workshop Logic Synth. (IWLS)","author":"Mishchenko"},{"key":"ref6","article-title":"Boolean-aware Boolean circuit classification: A comprehensive study on graph neural network","author":"Ni","year":"2024","journal-title":"arXiv:2411.10481"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD51958.2021.9643587"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2018.2807452"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530497"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD57390.2023.10323798"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3676536.3676791"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3649329.3657386"},{"key":"ref13","first-page":"1","article-title":"PolarGate: Breaking the functionality representation bottleneck of and-inverter graph neural network","volume-title":"Proc. 43rd IEEE\/ACM Int. Conf. Comput.-Aided Design","author":"Liu"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.23919\/DATE58400.2024.10546512"},{"key":"ref15","first-page":"1","article-title":"Graph reduction with spectral and cut guarantees","volume":"10","author":"Loukas","year":"2022","journal-title":"J. Mach. Learn. Res."},{"key":"ref16","first-page":"3237","article-title":"Spectrally approximating large graphs with smaller graphs","volume-title":"Proc. 35th Int. Conf. Mach. Learn.","author":"Loukas"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1137\/100791142"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1137\/110843563"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2012.2215780"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1996.569831"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/DDECS.2014.6868803"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2024\/891"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2023\/752"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/SAI.2017.8252114"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3447548.3467257"},{"key":"ref26","first-page":"1","article-title":"IWLS 2005 benchmarks","volume-title":"Proc. IEEE IWLS","author":"Albrecht"},{"key":"ref27","first-page":"1","article-title":"The EPFL combinational benchmark suite","volume-title":"Proc. IEEE IWLS","author":"Amar\u00f9"},{"key":"ref28","volume-title":"PyGSP: Graph Signal Processing in Python","author":"Defferrard","year":"2025"},{"key":"ref29","volume-title":"ABC: A System for Sequential Synthesis and Verification","author":"Brayton","year":"2024"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2025.3555506"},{"key":"ref31","article-title":"Fast graph representation learning with PyTorch geometric","author":"Fey","year":"2019","journal-title":"arXiv:1903.02428"},{"key":"ref32","article-title":"IEDA: An open-source intelligent physical implementation toolkit and library","author":"Li","year":"2023","journal-title":"arXiv:2308.01857"},{"key":"ref33","first-page":"1","article-title":"How powerful are graph neural networks?","volume-title":"Proc. Int. Conf. Learn. Represent.","author":"Xu"},{"key":"ref34","first-page":"1025","article-title":"Inductive representation learning on large graphs","volume-title":"Proc. 31st Int. Conf. Neural Inf. Process. Syst.","author":"Hamilton"},{"key":"ref35","article-title":"OpenABC-D: A large-scale dataset for machine learning guided integrated circuit synthesis","author":"Basak Chowdhury","year":"2021","journal-title":"arXiv:2110.11292"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ASAP54787.2022.00013"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3658617.3697721"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177703732"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5456949"},{"key":"ref40","first-page":"1","article-title":"How good is your verilog RTL code? A quick answer from machine learning","volume-title":"Proc. IEEE\/ACM Int. Conf. Comput. Aided Design (ICCAD)","author":"Sengupta"},{"key":"ref41","first-page":"1","article-title":"Applying GNNs to timing estimation at RTL: (Invited Paper)","volume-title":"Proc. IEEE\/ACM Int. Conf. Comput. Aided Design (ICCAD)","author":"Lopera"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD57390.2023.10323951"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/43\/11573128\/11225863.pdf?arnumber=11225863","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,22]],"date-time":"2026-06-22T19:56:15Z","timestamp":1782158175000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11225863\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7]]},"references-count":42,"journal-issue":{"issue":"7"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2025.3628790","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,7]]}}}