{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:01:10Z","timestamp":1740132070249,"version":"3.37.3"},"reference-count":8,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"National Science Foundation Industry\/University Cooperative Research Center for Hardware and Embedded-System Security and Trust","award":["P16_22"],"award-info":[{"award-number":["P16_22"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2025,1]]},"DOI":"10.1109\/tcad.2024.3434450","type":"journal-article","created":{"date-parts":[[2024,7,26]],"date-time":"2024-07-26T17:37:29Z","timestamp":1722015449000},"page":"385-389","source":"Crossref","is-referenced-by-count":0,"title":["Modeling Bidirectional Switches for Enabling Logic Equivalence Checking in a Transistor-Level Programmable Fabric"],"prefix":"10.1109","volume":"44","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-6216-8121","authenticated-orcid":false,"given":"Apurva","family":"Jain","sequence":"first","affiliation":[{"name":"Electrical and Computer Engineering Department, The University of Texas at Dallas, Richardson, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Broadfoot","sequence":"additional","affiliation":[{"name":"Electrical and Computer Engineering Department, The University of Texas at Dallas, Richardson, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4322-0068","authenticated-orcid":false,"given":"Yiorgos","family":"Makris","sequence":"additional","affiliation":[{"name":"Electrical and Computer Engineering Department, The University of Texas at Dallas, Richardson, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carl","family":"Sechen","sequence":"additional","affiliation":[{"name":"Electrical and Computer Engineering Department, The University of Texas at Dallas, Richardson, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927200"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8714856"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.23919\/DATE56975.2023.10136928"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/EDAC.1990.136663"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147179"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.318"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2007.4380741"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/EDTC.1996.494315"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/43\/10814105\/10611740-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/43\/10814105\/10611740.pdf?arnumber=10611740","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,25]],"date-time":"2024-12-25T06:18:13Z","timestamp":1735107493000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10611740\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,1]]},"references-count":8,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2024.3434450","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"type":"print","value":"0278-0070"},{"type":"electronic","value":"1937-4151"}],"subject":[],"published":{"date-parts":[[2025,1]]}}}