{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:50:07Z","timestamp":1725533407487},"reference-count":9,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/dsd.2002.1115383","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T21:03:42Z","timestamp":1056575022000},"page":"308-315","source":"Crossref","is-referenced-by-count":1,"title":["Efficient verification of scheduling, allocation and binding in high-level synthesis"],"prefix":"10.1109","author":[{"given":"J.M.","family":"Mendias","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Hermida","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.C.","family":"Molina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"O.","family":"Penalba","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","first-page":"59","article-title":"Automatic verification of scheduling results in high-level synthesis","author":"eveking","year":"1999","journal-title":"DATE'99"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/43.739056"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4419-4_5"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1998.144317"},{"key":"ref8","first-page":"504","article-title":"A Unified Algorithm for Mutual Exclusiveness Identification","author":"pe\u00f1alba","year":"1999","journal-title":"Proc 25th Euromicro Conference"},{"article-title":"Formal High-Level Synthesis by Automated Derivation. Theoretical, Methodological and Practical Aspects","year":"1998","author":"mend\u00edas","key":"ref7"},{"key":"ref2","article-title":"DDD - A system for mechanized digital design derivation","author":"johnson","year":"1991","journal-title":"Proc Int Workshop on Formal Methods in VLSI Design"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICVD.1997.568070"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.1995.486374"}],"event":{"name":"Euromicro Symposium on Digital System Design. DSD'2002","acronym":"DSD-02","location":"Dortmund, Germany"},"container-title":["Proceedings Euromicro Symposium on Digital System Design. Architectures, Methods and Tools"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8187\/24597\/01115383.pdf?arnumber=1115383","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T17:43:51Z","timestamp":1489427031000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1115383\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/dsd.2002.1115383","relation":{},"subject":[]}}