{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:11:17Z","timestamp":1725552677598},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1109\/hldvt.2007.4392798","type":"proceedings-article","created":{"date-parts":[[2008,7,21]],"date-time":"2008-07-21T21:16:34Z","timestamp":1216674994000},"page":"123-130","source":"Crossref","is-referenced-by-count":0,"title":["An approach for computing the initial state for retimed synchronous sequential circuits"],"prefix":"10.1109","author":[{"given":"Noureddine","family":"Chabini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wayne","family":"Wolf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/43.184852"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1996.571329"},{"journal-title":"The LP_Solve Tool","year":"0","key":"ref10"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/BF01759032"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1997.643523"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/43.594829"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/950162.950168"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICVD.1999.745183"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ISSS.1999.814263"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/43.806805"}],"event":{"name":"2007 IEEE International High Level Design Validation and Test Workshop","start":{"date-parts":[[2007,11,7]]},"location":"Irvine, CA, USA","end":{"date-parts":[[2007,11,9]]}},"container-title":["2007 IEEE International High Level Design Validation and Test Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4392771\/4392772\/04392798.pdf?arnumber=4392798","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T20:38:37Z","timestamp":1489696717000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4392798\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2007.4392798","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}