{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T05:24:33Z","timestamp":1648790673346},"reference-count":15,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1994,4,1]],"date-time":"1994-04-01T00:00:00Z","timestamp":765158400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[1994,4]]},"DOI":"10.1016\/0164-1212(94)90058-2","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T00:31:55Z","timestamp":1060302715000},"page":"73-84","source":"Crossref","is-referenced-by-count":4,"title":["Synthesis of fault-tolerant and real-time microarchitectures"],"prefix":"10.1016","volume":"25","author":[{"given":"Alex","family":"Orailo\u01e7lu","sequence":"first","affiliation":[]},{"given":"Ramesh","family":"Karri","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0164-1212(94)90058-2_BIB1","series-title":"Design and Analysis of Fault-Tolerant Digital Systems","author":"Johnson","year":"1989"},{"key":"10.1016\/0164-1212(94)90058-2_BIB2","doi-asserted-by":"crossref","first-page":"548","DOI":"10.1109\/12.54848","article-title":"High-Performance Fault-Tolerant VLSI Systems Using Micro Rollback","volume":"39","author":"Tamir","year":"1990","journal-title":"IEEE Trans. Comp."},{"key":"10.1016\/0164-1212(94)90058-2_BIB3","series-title":"Proceedings of the 22nd Annual Symposium on Fault Tolerant Computing","article-title":"Scheduling with rollback constraints in high-level synthesis of self-recovering ASICs","author":"Karri","year":"1992"},{"key":"10.1016\/0164-1212(94)90058-2_BIB4","first-page":"301","article-title":"The High-Level Synthesis of Digital Systems","volume":"78","author":"McFarland","year":"1990"},{"key":"10.1016\/0164-1212(94)90058-2_BIB5","series-title":"High-Level Synthesis: Introduction to Chip and System Design","author":"Gajski","year":"1992"},{"key":"10.1016\/0164-1212(94)90058-2_BIB6","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1109\/2.56854","article-title":"Fault Tolerance in VLSI Circuits","volume":"23","author":"Koren","year":"1990","journal-title":"Computer"},{"key":"10.1016\/0164-1212(94)90058-2_BIB7","series-title":"The Theory and Practice of Reliable System Design","author":"Siewiorek","year":"1982"},{"key":"10.1016\/0164-1212(94)90058-2_BIB8","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/54.60603","article-title":"From Behavior to Structure: High-Level Synthesis","volume":"7","author":"Camposano","year":"1990","journal-title":"IEEE Design Test Comp."},{"key":"10.1016\/0164-1212(94)90058-2_BIB9","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1109\/43.3169","article-title":"A Software Package for Synthesis of Pipelines from Behavioral Specifications","volume":"7","author":"Park","year":"1988","journal-title":"IEEE Trans. CAD"},{"key":"10.1016\/0164-1212(94)90058-2_BIB10","series-title":"Proceedings of MICRO-24","first-page":"124","article-title":"ALPS: Algorithm for pipeline data path synthesis","author":"Karri","year":"1991"},{"key":"10.1016\/0164-1212(94)90058-2_BIB11","series-title":"Proceedings of the 28th Design Automation Conference","first-page":"378","article-title":"A data path synthesis method for self-testable designs","author":"Papachristou","year":"1991"},{"key":"10.1016\/0164-1212(94)90058-2_BIB12","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1109\/2.56852","article-title":"Reliability Estimation of Fault-Tolerant Systems: Tools and Techniques","volume":"23","author":"Geist","year":"1990","journal-title":"Computer"},{"key":"10.1016\/0164-1212(94)90058-2_BIB13","series-title":"Proceedings of the 27th Design Automation Conference","first-page":"555","article-title":"ASSURE: Automated design for dependability","author":"Edmond","year":"1990"},{"key":"10.1016\/0164-1212(94)90058-2_BIB14","series-title":"Proceedings of International Symposium on Circuits and Systems","article-title":"High-level synthesis of fault-tolerant ASICs","author":"Karri","year":"1992"},{"key":"10.1016\/0164-1212(94)90058-2_BIB15","series-title":"The Architecture of Pipelined Computers","author":"Kogge","year":"1981"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121294900582?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121294900582?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,14]],"date-time":"2019-03-14T22:58:38Z","timestamp":1552604318000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0164121294900582"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,4]]},"references-count":15,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994,4]]}},"alternative-id":["0164121294900582"],"URL":"https:\/\/doi.org\/10.1016\/0164-1212(94)90058-2","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1994,4]]}}}