{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T11:06:56Z","timestamp":1725707216511},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,3]]},"DOI":"10.1109\/iccta.2007.111","type":"proceedings-article","created":{"date-parts":[[2007,4,19]],"date-time":"2007-04-19T16:38:58Z","timestamp":1177000738000},"page":"135-140","source":"Crossref","is-referenced-by-count":3,"title":["Register Sharing Verification During Data-Path Synthesis"],"prefix":"10.1109","author":[{"given":"C.","family":"Karfa","sequence":"first","affiliation":[]},{"given":"C.","family":"Mandal","sequence":"additional","affiliation":[]},{"given":"D.","family":"Sarkar","sequence":"additional","affiliation":[]},{"given":"Chris","family":"Reade","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"13"},{"key":"11","first-page":"1932","article-title":"Assigning meaning to programs","author":"floyd","year":"1967","journal-title":"Proc 19th Symp Appl Math"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/92.894157"},{"key":"2","first-page":"204","article-title":"A methodology for automated verification of synthesized rtl designs and its integration with a high-level synthesis tool","author":"mansouri","year":"1998","journal-title":"Proc FMCAD"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/54.329454"},{"key":"10","first-page":"206","article-title":"A genetic algorithm for the synthesis of structured data paths","author":"mandal","year":"2000","journal-title":"Proc 12th Int Conf VLSI Design"},{"key":"7","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1145\/37888.37920","article-title":"real: a program for register allocation","author":"kurdahi","year":"1987","journal-title":"24th ACM\/IEEE Design Automation Conference"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/123186.123384"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/307418.307493"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1998.144317"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2000.893645"},{"key":"8","article-title":"Formal verification of register binding","author":"blank","year":"2000","journal-title":"Procs of Workshop on Advances in Verification (WAVE) 2000"}],"event":{"name":"2007 International Conference on Computing: Theory and Applications (ICCTA'07)","start":{"date-parts":[[2007,3,5]]},"location":"Kolkata, India","end":{"date-parts":[[2007,3,7]]}},"container-title":["2007 International Conference on Computing: Theory and Applications (ICCTA'07)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4127325\/4127326\/04127356.pdf?arnumber=4127356","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T12:33:42Z","timestamp":1497702822000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4127356\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/iccta.2007.111","relation":{},"subject":[],"published":{"date-parts":[[2007,3]]}}}