{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T17:40:42Z","timestamp":1742924442648,"version":"3.40.3"},"publisher-location":"Cham","reference-count":8,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030223533"},{"type":"electronic","value":"9783030223540"}],"license":[{"start":{"date-parts":[[2019,6,21]],"date-time":"2019-06-21T00:00:00Z","timestamp":1561075200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-22354-0_40","type":"book-chapter","created":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T07:02:51Z","timestamp":1561014171000},"page":"453-461","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Simple Heterogeneous Redundant Design Method for Finite State Machines on FPGAs"],"prefix":"10.1007","author":[{"given":"Takanori","family":"Itagawa","sequence":"first","affiliation":[]},{"given":"Ryo","family":"Kamasaka","sequence":"additional","affiliation":[]},{"given":"Yuichiro","family":"Shibata","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,6,21]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Hayek, A., Al-Bokhaiti, M., Borcsok, J.: Design and implementation of an FPGA-based 1oo4-architecture for safety-related system-on-chip. In: Proceedings IEEE 25th International Conference on Microelectronics (ICM), pp. 1\u20134 (2013)","key":"40_CR1","DOI":"10.1109\/ICM.2013.6734967"},{"doi-asserted-by":"crossref","unstructured":"Ichinomiya, Y., Tanoue, S., Ishida, T., Amagasaki, M., Kuga, M., Sueyoshi, T.: Memory sharing approach for TMR softcore processor. In: Reconfigurable Computing: Architectures, Tools and Applications, pp. 268\u2013274. Springer (2009)","key":"40_CR2","DOI":"10.1007\/978-3-642-00641-8_27"},{"unstructured":"International Electrotechnical Commission: Functional safety of electrical\/electronic\/programmable electronic safety related systems. IEC 61508 (2000)","key":"40_CR3"},{"issue":"7","key":"40_CR4","doi-asserted-by":"publisher","first-page":"1468","DOI":"10.1587\/transfun.E97.A.1468","volume":"97","author":"H Konoura","year":"2014","unstructured":"Konoura, H., Imagawa, T., Mitsuyama, Y., Hashimoto, M., Onoye, T.: Comparative evaluation of lifetime enhancement with fault avoidance on dynamically reconfigurable devices. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 97(7), 1468\u20131482 (2014)","journal-title":"IEICE Trans. Fundam. Electron. Commun. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"Lovric, T.: Systematic and design diversity \u2014 software techniques for hardware fault detection. In: Dependable Computing \u2014 EDCC-1, pp. 307\u2013326. Springer (1994)","key":"40_CR5","DOI":"10.1007\/3-540-58426-9_138"},{"key":"40_CR6","first-page":"1403","volume":"7","author":"K Morimoto","year":"2017","unstructured":"Morimoto, K., Shibata, Y., Shirakura, Y., Maruta, H., Tanaka, M., Kurokawa, F.: Diversity diagnostic for new FPGA based controller of renewable energy power plant. Int. J. Renew. Energy Res. 7, 1403\u20131412 (2017)","journal-title":"Int. J. Renew. Energy Res."},{"doi-asserted-by":"crossref","unstructured":"Shirakura, Y., Segawa, T., Shibata, Y., Morimoto, K., Tanaka, M., Nobe, M., Maruta, H., Kurokawa, F.: A redundant design approach with diversity of FPGA resource mapping. In: Proceedings of International Symposium on Applied Reconfigurable Computing (ARC 2016). Lecture Notes in Computer Science, vol. 9625, pp. 119\u2013131 (2016)","key":"40_CR7","DOI":"10.1007\/978-3-319-30481-6_10"},{"unstructured":"Yang, S.: Logic Synthesis and Optimization Benchmarks User Guide Version 3.0 (1991)","key":"40_CR8"}],"container-title":["Advances in Intelligent Systems and Computing","Complex, Intelligent, and Software Intensive Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-22354-0_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,28]],"date-time":"2019-06-28T21:38:29Z","timestamp":1561757909000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-22354-0_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,21]]},"ISBN":["9783030223533","9783030223540"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-22354-0_40","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2019,6,21]]},"assertion":[{"value":"21 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CISIS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Conference on Complex, Intelligent, and Software Intensive Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Sydney, NSW","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Australia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 July 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 July 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coisis2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}