{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,24]],"date-time":"2025-03-24T06:42:55Z","timestamp":1742798575859,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/sbcci.2003.1232804","type":"proceedings-article","created":{"date-parts":[[2004,1,24]],"date-time":"2004-01-24T04:33:03Z","timestamp":1074918783000},"page":"41-46","source":"Crossref","is-referenced-by-count":2,"title":["Retiming finite state machines to control hardened data-paths"],"prefix":"10.1109","author":[{"given":"I.","family":"Auge","sequence":"first","affiliation":[]},{"given":"F.","family":"Donnet","sequence":"additional","affiliation":[]},{"given":"F.","family":"Petrot","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"58","article-title":"Manual rescheduling and incremental repair of register level data paths","author":"knapp","year":"1989","journal-title":"In ICCAD"},{"key":"ref11","first-page":"41","article-title":"Optimizing synchronous systems","volume":"1","author":"leiserson","year":"1983","journal-title":"Journal of VLSI and Computer Systems"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/43.62792"},{"key":"ref13","first-page":"441","author":"micheli","year":"1994","journal-title":"Synthesis and Optimization of Digital Circuits"},{"key":"ref14","article-title":"Concurrent analysis techniques for data path timing optimization","author":"monahan","year":"1996","journal-title":"DAC"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.1987.1270350"},{"key":"ref16","first-page":"111","article-title":"Resynthesizing controllers for minimum execution time","author":"parameswaran","year":"1994","journal-title":"the 2nd ASP-CHDL Conference"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/309847.309932"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1142\/S0129626494000326"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1147\/rd.404.0431"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/92.238438"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/92.238437"},{"journal-title":"High Level Synthesis Introduction to Chip and System Design","year":"1992","author":"gajski","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2000.855344"},{"journal-title":"Computer Architecture A Quantitative Approach","year":"1990","author":"hennessy","key":"ref8"},{"key":"ref7","article-title":"Synthesis under local timing constraints in the camad high-level synthesis system","author":"hallberg","year":"1995","journal-title":"the 21st Euromicro Conference"},{"journal-title":"Digital System Design Environment","year":"2002","author":"aug\u00e9","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35311-1_38"},{"key":"ref9","first-page":"154","article-title":"Clock-driven performance optimization in interactive behavioral synthesis","author":"juan","year":"1996","journal-title":"In ICCAD"},{"key":"ref20","first-page":"114","article-title":"The DT-model: high-level synthesis using data transfers","author":"tarafdar","year":"1998","journal-title":"Proceedings 1998 Design and Automation Conference 35th DAC (Cat No 98CH36175) DAC"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/BF02406472"}],"event":{"name":"16th Symposium on Integrated Circuits and Systems Design. SBCCI 2003","acronym":"SBCCI-03","location":"Sao Paulo, Brazil"},"container-title":["16th Symposium on Integrated Circuits and Systems Design, 2003. SBCCI 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8726\/27627\/01232804.pdf?arnumber=1232804","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T19:10:34Z","timestamp":1489432234000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1232804\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/sbcci.2003.1232804","relation":{},"subject":[]}}