{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T05:32:12Z","timestamp":1738387932232,"version":"3.35.0"},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2002,11,1]],"date-time":"2002-11-01T00:00:00Z","timestamp":1036108800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Compt. Sci. & Technol."],"published-print":{"date-parts":[[2002,11]]},"DOI":"10.1007\/bf02960770","type":"journal-article","created":{"date-parts":[[2008,9,25]],"date-time":"2008-09-25T00:59:57Z","timestamp":1222304397000},"page":"797-806","source":"Crossref","is-referenced-by-count":0,"title":["Variables bounding based retiming algorithm"],"prefix":"10.1007","volume":"17","author":[{"given":"Zongwei","family":"Lu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenghui","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Houpeng","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"BF02960770_CR1","first-page":"41","volume":"1","author":"C Leiserson","year":"1993","unstructured":"Leiserson C, Saxe J. Optimizing synchronous systems.Journal of VLSI and Computer Systems, 1993, 1(1): 41\u201367.","journal-title":"Journal of VLSI and Computer Systems"},{"issue":"1","key":"BF02960770_CR2","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/BF01759032","volume":"6","author":"C Leiserson","year":"1991","unstructured":"Leiserson C, Saxe J. Retiming synchronous circuits.Algorithmica, 1991, 6(1): 5\u201335.","journal-title":"Algorithmica"},{"key":"BF02960770_CR3","unstructured":"Ishii A, Leiserson C, Papaefthymiou M C. Optimizing two-phase, level-clocked circuitry. InAdvanced Research in VLSI and Parallel Systems: Proc. the 1992 Brown\/MIT Conference, Boston, USA, 1992, pp.246\u2013264."},{"issue":"9","key":"BF02960770_CR4","doi-asserted-by":"crossref","first-page":"1097","DOI":"10.1109\/43.310899","volume":"13","author":"B Lockyear","year":"1994","unstructured":"Lockyear B, Ebeling C. Optimal retiming of level-clocked circuits using symmetric clock schedules.IEEE Transactions on Computer-Aided Design, September, 1994, 13(9): 1097\u20131109.","journal-title":"IEEE Transactions on Computer-Aided Design"},{"key":"BF02960770_CR5","doi-asserted-by":"crossref","unstructured":"Lalggudi K N, Papefthymiou M. DeLa Y: An efficient tool for retiming with realistic delay modeling. InProc. the ACM\/IEEE Design Automation Conference, 1995, pp.304\u2013309.","DOI":"10.1145\/217474.217546"},{"issue":"3","key":"BF02960770_CR6","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1109\/43.489105","volume":"15","author":"G Even","year":"1996","unstructured":"Even G, Spillinger I Y, Stok L. Retiming revisited and reversed.IEEE Transactions on Computer-Aided Design, March, 1996, 15(3): 348\u2013357.","journal-title":"IEEE Transactions on Computer-Aided Design"},{"key":"BF02960770_CR7","doi-asserted-by":"crossref","unstructured":"Monteiro J, Devadas S, Ghosh A. Retiming sequential circuits for low power. InProc. the ACM\/IEEE International Conference on Computer-Aided Design, Santa Clara, California, USA, 1993, pp.398\u2013402.","DOI":"10.1109\/ICCAD.1993.580087"},{"key":"BF02960770_CR8","doi-asserted-by":"crossref","unstructured":"Shenoy N, Rudell R. Efficient implementation of retiming. InProc. the ACM\/IEEE International Conference on Computer-Aided Design, San Jose, California, USA, 1994, pp.226\u2013233.","DOI":"10.1109\/ICCAD.1994.629770"},{"key":"BF02960770_CR9","doi-asserted-by":"crossref","unstructured":"Deokar R B, Sapatnekar S S. A fresh look at retiming via clock skew optimization. InProc. the ACM\/IEEE Design Automation Conference, San Diego, California, USA, 1995, pp.310\u2013315.","DOI":"10.1145\/217474.217547"},{"key":"BF02960770_CR10","doi-asserted-by":"crossref","first-page":"1237","DOI":"10.1109\/43.541443","volume":"15","author":"S S Sapatnekar","year":"1996","unstructured":"Sapatnekar S S, Deokar R B. Utilizing the retiming skew equivalence in a practical algorithm for retiming large circuits.IEEE Transactions on Computer-Aided Design, October, 1996, 15: 1237\u20131248.","journal-title":"IEEE Transactions on Computer-Aided Design"},{"key":"BF02960770_CR11","doi-asserted-by":"crossref","unstructured":"Maheshwari M, Sapatnekar S S. A practical algorithm for retiming level-clocked circuits. InProc. the ACM\/IEEE International Conference on Computer-Aided Design, Dallas, Texas, USA, 1996, pp.440\u2013445.","DOI":"10.1109\/ICCD.1996.563591"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02960770.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02960770\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02960770","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T02:20:02Z","timestamp":1738376402000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02960770"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,11]]},"references-count":11,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2002,11]]}},"alternative-id":["BF02960770"],"URL":"https:\/\/doi.org\/10.1007\/bf02960770","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"type":"print","value":"1000-9000"},{"type":"electronic","value":"1860-4749"}],"subject":[],"published":{"date-parts":[[2002,11]]}}}