{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:56:53Z","timestamp":1729641413633,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,10]]},"DOI":"10.1109\/iccd.2011.6081383","type":"proceedings-article","created":{"date-parts":[[2011,11,21]],"date-time":"2011-11-21T21:47:00Z","timestamp":1321912020000},"page":"102-107","source":"Crossref","is-referenced-by-count":4,"title":["Enhanced symbolic simulation of a round-robin arbiter"],"prefix":"10.1109","author":[{"given":"Yongjian","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Naiju","family":"Zeng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William N. N.","family":"Hung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoyu","family":"Song","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/43.771178"},{"year":"0","author":"curzon","journal-title":"The Formal Verification of the Fairisle ATM Network","key":"ref11"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1016\/j.tcs.2011.01.032"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/TVLSI.2003.812320"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1145\/774572.774651"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1007\/978-3-540-39724-3_17","article-title":"Reasoning about GSTE Assertion Graphs","author":"hu","year":"2003","journal-title":"Proc Correct Hardware Design and Verification Methods (CHARME)"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1145\/1120725.1120824"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/ICCD.2011.6081383"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1007\/BF01383966"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1145\/378239.379048"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"538","DOI":"10.1145\/277044.277189","article-title":"Combining theorem proving and trajectory evaluation in an industrial environment","author":"aagaard","year":"1998","journal-title":"Proceedings 1998 Design and Automation Conference 35th DAC (Cat No 98CH36175) DAC"},{"key":"ref5","first-page":"147","article-title":"Formally verifying IEEE compliance of floating-point hardware","volume":"q1","author":"o'leary","year":"1999","journal-title":"Intel Technology Jour"},{"year":"1994","author":"curzon","journal-title":"The formal verification of the fairisle ATM switching element","key":"ref8"},{"year":"0","journal-title":"Forte\/ft user guide","key":"ref7"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1145\/197917.198171"},{"year":"1999","author":"ginsburg","journal-title":"ATM Solutions for Enterprise Internetworking","key":"ref1"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/EDTC.1994.326886"}],"event":{"name":"2011 IEEE 29th International Conference on Computer Design (ICCD 2011)","start":{"date-parts":[[2011,10,9]]},"location":"Amherst, MA, USA","end":{"date-parts":[[2011,10,12]]}},"container-title":["2011 IEEE 29th International Conference on Computer Design (ICCD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6066261\/6081363\/06081383.pdf?arnumber=6081383","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T10:07:23Z","timestamp":1497953243000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6081383\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/iccd.2011.6081383","relation":{},"subject":[],"published":{"date-parts":[[2011,10]]}}}