{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T16:16:30Z","timestamp":1772554590660,"version":"3.50.1"},"reference-count":45,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"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":["61527812"],"award-info":[{"award-number":["61527812"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"National Science and Technology Major Project of China","award":["2016ZX01038101"],"award-info":[{"award-number":["2016ZX01038101"]}]},{"name":"MIIT IT Funds of China"},{"name":"National Science and Technology Support Program of China","award":["2015BAG14B01-02"],"award-info":[{"award-number":["2015BAG14B01-02"]}]},{"DOI":"10.13039\/501100012166","name":"National Basic Research Program of China","doi-asserted-by":"publisher","award":["2016QY07X1402"],"award-info":[{"award-number":["2016QY07X1402"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2020,1]]},"DOI":"10.1109\/tcad.2018.2883996","type":"journal-article","created":{"date-parts":[[2018,11,29]],"date-time":"2018-11-29T19:57:56Z","timestamp":1543521476000},"page":"185-198","source":"Crossref","is-referenced-by-count":29,"title":["Time-Triggered Switch-Memory-Switch Architecture for Time-Sensitive Networking Switches"],"prefix":"10.1109","volume":"39","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0772-1738","authenticated-orcid":false,"given":"Zonghui","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9608-5808","authenticated-orcid":false,"given":"Hai","family":"Wan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yangdong","family":"Deng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xibin","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4971-590X","authenticated-orcid":false,"given":"Yue","family":"Gao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoyu","family":"Song","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ming","family":"Gu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","author":"watkins","year":"2017","journal-title":"Area-Volume Formulas for N-Dimensional Pyramids and Cones"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1002\/0471219282.eot281"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/362759.362813"},{"key":"ref32","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/978-3-540-73368-3_5","article-title":"A tutorial on satisfiability modulo theories","author":"de moura","year":"2007","journal-title":"Proc 19th Int Conf Comput -Aided Verification"},{"key":"ref31","first-page":"193","article-title":"Time-sensitive software-defined network (TSSDN) for real-time applications","author":"nayak","year":"2016","journal-title":"Proc Int Conf Real-Time Netw Syst"},{"key":"ref30","first-page":"183","article-title":"Scheduling real-time communication in IEEE 802.1Qbv time sensitive networks","author":"craciunas","year":"2016","journal-title":"Proc Int Conf Real-Time Netw Syst"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2968478.2968499"},{"key":"ref36","first-page":"4001","author":"gavrilut","year":"2015","journal-title":"Fault-Tolerant Topology Selection for TTEthernet Networks"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2014.7005200"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICIT.2012.6209970"},{"key":"ref10","year":"2007"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-015-9244-x"},{"key":"ref11","year":"2016","journal-title":"Road vehiclesController area network (CAN)Part 2 High-speed medium access unit"},{"key":"ref12","year":"2017","journal-title":"Standards for Time-Sensitive Networking for Use in Industrial Automation Networks"},{"key":"ref13","year":"2017","journal-title":"Standards for Time-Sensitive Networking for Use in Automotive Networks"},{"key":"ref14","year":"2014","journal-title":"Systems Integration With Deterministic Ethernet NASA’S Orion Multi-Purpose Crew Vehicle"},{"key":"ref15","year":"2016","journal-title":"7 Series Fpgas Overview Advance Product Specification"},{"key":"ref16","author":"keshav","year":"1997","journal-title":"An Engineering Approach to Computer Networking ATM Networks the Internet and the Telephone Network"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/90.769767"},{"key":"ref18","first-page":"1623","article-title":"An \n$O(log2 N)$\n parallel algorithm for output queuing","volume":"3","author":"prakash","year":"2002","journal-title":"Proc IEEE INFOCOM 21st Annu Joint Conf IEEE Comput Commun Soc"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2010.25"},{"key":"ref28","year":"2010","journal-title":"Cisco Nexus 5548P switch architecture"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MIE.2009.932171"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/NOCS.2010.17"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2005.849720"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/IEEESTD.2013.6595528"},{"key":"ref29","year":"2011","journal-title":"H3C S9500E multi-service core switch"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE.2010.5637988"},{"key":"ref8","year":"0"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/IEEESTD.2008.4579760"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2005.849721"},{"key":"ref9","year":"0"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2012.071812.00124"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2015.7185055"},{"key":"ref45","year":"2014"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2005.1498327"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2015.7301436"},{"key":"ref42","author":"cormen","year":"2009","journal-title":"Introduction to Algorithms"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/777412.777472"},{"key":"ref41","first-page":"320","article-title":"Analysis of deterministic Ethernet scheduling for the industrial Internet of Things","author":"oliver","year":"2014","journal-title":"Proc IEEE 19th Int Workshop Comput -Aided Model Design Commun Links Netw"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2008.2006221"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/GLOCOM.2006.348"},{"key":"ref43","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","article-title":"NuSMV2: An opensource tool for symbolic model checking","author":"cimatti","year":"2002","journal-title":"Proc Int Conf Comput -Aided Verification"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2004.1354611"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/8939296\/08552472.pdf?arnumber=8552472","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T14:04:55Z","timestamp":1651068295000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8552472\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,1]]},"references-count":45,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2018.2883996","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,1]]}}}