{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T23:10:01Z","timestamp":1748560201841,"version":"3.41.0"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319202266"},{"type":"electronic","value":"9783319202273"}],"license":[{"start":{"date-parts":[[2015,8,8]],"date-time":"2015-08-08T00:00:00Z","timestamp":1438992000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,8,8]],"date-time":"2015-08-08T00:00:00Z","timestamp":1438992000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-20227-3_26","type":"book-chapter","created":{"date-parts":[[2015,8,7]],"date-time":"2015-08-07T13:36:52Z","timestamp":1438954612000},"page":"203-210","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Model-Based Methodology to Generate Code for Timer Units"],"prefix":"10.1007","author":[{"given":"Marco","family":"Marazza","sequence":"first","affiliation":[]},{"given":"Francesco","family":"Menichelli","sequence":"additional","affiliation":[]},{"given":"Mauro","family":"Olivieri","sequence":"additional","affiliation":[]},{"given":"Orlando","family":"Ferrante","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Ferrari","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,8,8]]},"reference":[{"key":"26_CR1","unstructured":"ASH WARE: Compiler Reference Manual. v.2.01, 12 2011"},{"key":"26_CR2","unstructured":"Ferrante, O., Ferrari, A., Marazza, M.: Automatic Generation of Failure Scenarios for SoC. ERTS, Toulouse, France, 5\u20137 Feb 2014"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"Ferrante, O., Ferrari, A., Marazza, M.: Model based generation of high coverage test suites for embedded systems. In: Proceedings of the IEEE European Test Symposium, Paderborn, Germany, 26\u201330 May 2014","DOI":"10.1109\/ETS.2014.6847843"},{"key":"26_CR4","unstructured":"Freescale: Enhanced Time Processing Unit (eTPU) Reference Manual. 05 2004"},{"key":"26_CR5","unstructured":"Freescale: Using the eTPU Spark Function. Application Note. 07 2009. http:\/\/www.freescale.com\/files\/32bit\/doc\/app_note\/AN3771.pdf"},{"key":"26_CR6","unstructured":"GTM-IP Specification revision. 06 2013. http:\/\/www.bosch-semiconductors.de\/media\/en\/pdf_1\/ipmodules_1\/timer\/GTM-IP_Specification_v1551.pdf"},{"key":"26_CR7","unstructured":"Marazza., M., Cremona, F., Ceraolo Spurio, D., Demuth, C., Nastasi, C., Ferrari, A.: Towards a Programming and Analysis Framework for Timer Units. In: JRWRTC, Sophia Antipolis, France, 16\u201318 October 2013"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Menichelli, F., Olivieri, M., Benini, L., Donno, M., Bisdounis, L.: A Simulation-Based Power-Aware Architecture Exploration of a Multiprocessor System-on-Chip Design. DATE, pp. 312\u2013317 (2004)","DOI":"10.1109\/DATE.2004.1269256"},{"issue":"2","key":"26_CR9","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1109\/TVLSI.2008.2001940","volume":"17","author":"F Menichelli","year":"2009","unstructured":"Menichelli, F., Olivieri, M.: Static minimization of total energy consumption in memory subsystem for scratchpad-based systems-on-chips. IEEE Trans. VLSI Syst. 17(2), 161\u2013171 (2009)","journal-title":"IEEE Trans. VLSI Syst."},{"key":"26_CR10","volume-title":"A Case Study for Formal Verification of a Timing Coprocessor","author":"C Rodrigues","year":"2009","unstructured":"Rodrigues, C.: A Case Study for Formal Verification of a Timing Coprocessor. IEEE, LATW (2009)"}],"container-title":["Lecture Notes in Electrical Engineering","Applications in Electronics Pervading Industry, Environment and Society"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-20227-3_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T22:39:42Z","timestamp":1748558382000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-20227-3_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,8]]},"ISBN":["9783319202266","9783319202273"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-20227-3_26","relation":{},"ISSN":["1876-1100","1876-1119"],"issn-type":[{"type":"print","value":"1876-1100"},{"type":"electronic","value":"1876-1119"}],"subject":[],"published":{"date-parts":[[2015,8,8]]},"assertion":[{"value":"8 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}