{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:01:27Z","timestamp":1725465687582},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,5]]},"DOI":"10.1109\/iscas.2012.6272098","type":"proceedings-article","created":{"date-parts":[[2012,8,22]],"date-time":"2012-08-22T12:02:44Z","timestamp":1345636964000},"page":"584-587","source":"Crossref","is-referenced-by-count":2,"title":["A formal approach to slack-driven high-level synthesis"],"prefix":"10.1109","author":[{"given":"Hua-Hsin","family":"Yeh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shih-Hsu","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chun-Hua","family":"Cheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2003.159670"},{"key":"2","doi-asserted-by":"crossref","first-page":"5633","DOI":"10.1109\/ISCAS.2005.1465915","article-title":"A formal approach to the slack driven scheduling problem in high-level synthesis","author":"huang","year":"2005","journal-title":"Proc of IEEE International Symposium on Circuits and Systems (ISCAS]"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2002.1010336"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/LPE.1997.621236"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2002.994956"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/43.75629"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.844115"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1093\/ietfec\/e91-a.1.375"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2009.4796476"}],"event":{"name":"2012 IEEE International Symposium on Circuits and Systems - ISCAS 2012","start":{"date-parts":[[2012,5,20]]},"location":"Seoul, Korea (South)","end":{"date-parts":[[2012,5,23]]}},"container-title":["2012 IEEE International Symposium on Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6257548\/6270389\/06272098.pdf?arnumber=6272098","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T19:10:09Z","timestamp":1497985809000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6272098\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/iscas.2012.6272098","relation":{},"subject":[],"published":{"date-parts":[[2012,5]]}}}