{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:09:13Z","timestamp":1729620553671,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1109\/asicon.2013.6812056","type":"proceedings-article","created":{"date-parts":[[2014,5,16]],"date-time":"2014-05-16T21:51:33Z","timestamp":1400277093000},"page":"1-4","source":"Crossref","is-referenced-by-count":0,"title":["A universal framework of dual-use model for both performance and functionality based on the abstract state machine"],"prefix":"10.1109","author":[{"family":"Zheng Xie","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Xin'an Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Zhibin Lian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Qiuping Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Shanshan Yong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"788","author":"radetzki","year":"2008","journal-title":"Design Automation and Test in Europe"},{"key":"22","doi-asserted-by":"crossref","first-page":"384","DOI":"10.1049\/iet-cdt.2012.0001","volume":"6","author":"hosseinabady","year":"2012","journal-title":"IET Computers Digital Techniques"},{"key":"17","first-page":"5","author":"xie","year":"2013","journal-title":"Sci China Inf Sci"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/MTV.2005.15"},{"key":"18","first-page":"75","author":"donlin","year":"2004","journal-title":"Proc 2nd Intl Conf Hrdware\/Software Codesign and Syst Synthesis"},{"journal-title":"UVM Multi-Language Methodology and Reference","first-page":"2","year":"2011","key":"24"},{"key":"15","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1016\/j.tcs.2008.06.012","volume":"2 3","author":"bozzelli","year":"2008","journal-title":"Theor Comput Sci"},{"key":"16","first-page":"3606","author":"lohmann","year":"2007","journal-title":"American Control Conference"},{"key":"13","doi-asserted-by":"crossref","first-page":"635","DOI":"10.1016\/j.csi.2007.04.003","volume":"6","author":"furfaro","year":"2007","journal-title":"Comput Stand Interfaces"},{"key":"14","doi-asserted-by":"crossref","first-page":"1161","DOI":"10.1016\/j.ic.2008.03.017","volume":"9 10","author":"la torre","year":"2008","journal-title":"Inf Comput"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/AMS.2007.75"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2005.1568819"},{"key":"21","first-page":"3760","author":"kakoee","year":"2007","journal-title":"IEEE International Symposium on Circuits and Systems"},{"key":"3","first-page":"90","author":"swan","year":"2006","journal-title":"43rd ACM\/IEEE Design Automation Conference"},{"key":"20","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1109\/ICIS.2009.41","author":"abdurohman","year":"2009","journal-title":"Eighth IEEE\/ACIS International Conference on Computer and Information Science"},{"key":"2","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1147\/JRD.2011.2147170","volume":"3","author":"srinivas","year":"2011","journal-title":"IBM Journal of Research and Development"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/RSP.2011.5929990"},{"key":"10","first-page":"972","author":"endsley","year":"2004","journal-title":"43rd IEEE Conference on Decision and Control"},{"key":"7","first-page":"110","author":"kim","year":"2004","journal-title":"5th International Symposium on Quality Electronic Design"},{"key":"6","first-page":"399","author":"furfaro","year":"2003","journal-title":"IEEE International Conference on Industrial Technology"},{"key":"5","first-page":"393","author":"li","year":"2008","journal-title":"International Symposium on Information Science and Engineering"},{"key":"4","first-page":"740","volume":"2","author":"hua","year":"2013","journal-title":"Telkomnika"},{"key":"9","first-page":"1090","author":"lee","year":"2004","journal-title":"IEEE International Symposium on Communications and Information Technology"},{"key":"8","first-page":"227","author":"eleftherakis","year":"2008","journal-title":"Panhellenic Conference on Informatics"}],"event":{"name":"2013 IEEE 10th International Conference on ASIC (ASICON 2013)","start":{"date-parts":[[2013,10,28]]},"location":"Shenzhen, China","end":{"date-parts":[[2013,10,31]]}},"container-title":["2013 IEEE 10th International Conference on ASIC"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6805351\/6811820\/06812056.pdf?arnumber=6812056","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,10]],"date-time":"2019-08-10T15:06:45Z","timestamp":1565449605000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6812056\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/asicon.2013.6812056","relation":{},"subject":[],"published":{"date-parts":[[2013,10]]}}}