{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T15:18:03Z","timestamp":1742915883825,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319788890"},{"type":"electronic","value":"9783319788906"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-78890-6_34","type":"book-chapter","created":{"date-parts":[[2018,4,7]],"date-time":"2018-04-07T04:52:40Z","timestamp":1523076760000},"page":"420-432","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Improved High-Level Synthesis for\u00a0Complex CellML Models"],"prefix":"10.1007","author":[{"given":"Bj\u00f6rn","family":"Liebig","sequence":"first","affiliation":[]},{"given":"Julian","family":"Oppermann","sequence":"additional","affiliation":[]},{"given":"Oliver","family":"Sinnen","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Koch","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,4,8]]},"reference":[{"issue":"12","key":"34_CR1","doi-asserted-by":"publisher","first-page":"740","DOI":"10.1177\/0037549703040939","volume":"79","author":"AA Cuellar","year":"2003","unstructured":"Cuellar, A.A., Lloyd, C.M., Nielsen, P.M.F., et al.: An overview of CellML 1.1, a biological model description language. Simulation 79(12), 740\u2013747 (2003)","journal-title":"Simulation"},{"issue":"4","key":"34_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2870639","volume":"9","author":"Ting Yu","year":"2016","unstructured":"Yu, T., Bradley, C., Sinnen, O.: ODoST: automatic hardware acceleration for biomedical model integration. TRETS 9(4), 27:1\u201327:24 (2016)","journal-title":"ACM Transactions on Reconfigurable Technology and Systems"},{"issue":"5","key":"34_CR3","doi-asserted-by":"publisher","first-page":"1480","DOI":"10.1002\/cpe.3699","volume":"28","author":"T Yu","year":"2016","unstructured":"Yu, T., Oppermann, J., Bradley, C., Sinnen, O.: Performance optimisation strategies for automatically generated FPGA accelerators for biomedical models. Concurrency Comput.: Practice Experience 28(5), 1480\u20131506 (2016)","journal-title":"Concurrency Comput.: Practice Experience"},{"issue":"1","key":"34_CR4","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1016\/j.pbiomolbio.2011.06.015","volume":"107","author":"Chris Bradley","year":"2011","unstructured":"Bradley, C., Bowery, A., Britten, R., et al.: OpenCMISS: a multi-physics & multi-scale computational infrastructure for the VPH\/Physiome project. Progress Biophys. Mol. Biol. 107(1), 32\u201347 (2011). Experimental and Computational Model Interactions in Bio-Research: State of the Art","journal-title":"Progress in Biophysics and Molecular Biology"},{"key":"34_CR5","doi-asserted-by":"crossref","unstructured":"Faville, R.A., Pullan, A.J., Sanders, K.M., et al.: Biophysically based mathematical modeling of interstitial cells of Cajal slow wave activity generated from a discrete unitary potential basis (2009). CellML file: faville_model_2008.cellml (Catherine Lloyd)","DOI":"10.1016\/j.bpj.2009.03.058"},{"key":"34_CR6","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1186\/1471-2105-11-178","volume":"11","author":"AK Miller","year":"2010","unstructured":"Miller, A.K., Marsh, J., Reeve, A., et al.: An overview of the CellML API and its implementation. BMC Bioinform. 11, 178 (2010)","journal-title":"BMC Bioinform."},{"issue":"4","key":"34_CR7","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/MDT.2011.44","volume":"28","author":"F Dinechin de","year":"2011","unstructured":"de Dinechin, F., Pasca, B.: Designing custom arithmetic data paths with FloPoCo. IEEE Des. Test Comput. 28(4), 18\u201327 (2011)","journal-title":"IEEE Des. Test Comput."},{"key":"34_CR8","doi-asserted-by":"crossref","unstructured":"Oppermann, J., Koch, A., Yu, T., Sinnen, O.: Domain-specific optimisation for the high-level synthesis of CellML-based simulation accelerators. In: 25th International Conference on Field Programmable Logic and Applications, FPL 2015, London, United Kingdom, 2\u20134 September 2015, pp. 1\u20137. IEEE (2015)","DOI":"10.1109\/FPL.2015.7294019"},{"key":"34_CR9","doi-asserted-by":"crossref","unstructured":"Liebig, B., Koch, A.: High-level synthesis of resource-shared microarchitectures from irregular complex c-code. In: 2016 International Conference on Field-Programmable Technology (FPT), pp. 133\u2013140. IEEE (2016)","DOI":"10.1109\/FPT.2016.7929518"},{"key":"34_CR10","doi-asserted-by":"crossref","unstructured":"Huthmann, J., Liebig, B., Oppermann, J., Koch, A.: Hardware\/software co-compilation with the Nymble system. In: 8th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip, pp. 1\u20138. IEEE, July 2013","DOI":"10.1109\/ReCoSoC.2013.6581538"},{"key":"34_CR11","doi-asserted-by":"crossref","unstructured":"Huthmann, J., Mller, P., Stock, F., Hildenbrand, D., Koch, A.: Accelerating high-level engineering computations by automatic compilation of geometric algebra to hardware accelerators. In: 2010 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, pp. 216\u2013222, July 2010","DOI":"10.1109\/ICSAMOS.2010.5642064"},{"key":"34_CR12","doi-asserted-by":"crossref","unstructured":"Thielmann, B., Huthmann, J., Koch, A.: Precore - a token-based speculation architecture for high-level language to hardware compilation. In: 2011 21st International Conference on Field Programmable Logic and Applications, pp. 123\u2013129. September 2011","DOI":"10.1109\/FPL.2011.31"},{"key":"34_CR13","doi-asserted-by":"crossref","unstructured":"Huthmann, J., Oppermann, J., Koch, A.: Automatic high-level synthesis of multi-threaded hardware accelerators. In: 2014 24th International Conference on Field Programmable Logic and Applications (FPL), pp. 1\u20134, September 2014","DOI":"10.1109\/FPL.2014.6927432"},{"issue":"10","key":"34_CR14","doi-asserted-by":"publisher","first-page":"1591","DOI":"10.1109\/TCAD.2015.2513673","volume":"35","author":"Razvan Nane","year":"2016","unstructured":"Nane, R., Sima, V.M., Pilato, C., et al.: A survey and evaluation of FPGA high-level synthesis tools. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 35(10), 1591\u20131604 (2016)","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"34_CR15","unstructured":"Xilinx, Inc.: Vivado Design Suite User Guide - High-Level Synthesis (2012)"},{"key":"34_CR16","unstructured":"Fingeroff, M., Bollaert, T.: High-Level Synthesis Blue Book. Mentor Graphics Corporation, Wilsonville (2010)"},{"key":"34_CR17","doi-asserted-by":"crossref","unstructured":"Pilato, C., Ferrandi, F.: Bambu: a modular framework for the high level synthesis of memory-intensive applications. In: 2013 23rd International Conference on Field Programmable Logic and Applications (FPL), pp. 1\u20134. IEEE (2013)","DOI":"10.1109\/FPL.2013.6645550"},{"key":"34_CR18","doi-asserted-by":"crossref","unstructured":"Nane, R., Sima, V.M., Olivier, B., et al.: DWARV 2.0: a CoSy-based C-to-VHDL hardware compiler. In: 2012 22nd International Conference on Field Programmable Logic and Applications (FPL), pp. 619\u2013622. IEEE (2012)","DOI":"10.1109\/FPL.2012.6339221"},{"key":"34_CR19","doi-asserted-by":"crossref","unstructured":"Canis, A., Choi, J., Aldham, M., et al.: LegUp: high-level synthesis for FPGA-based processor\/accelerator systems. In: Proceedings of International Symposium on Field Programmable Gate Arrays (FPGA), pp. 33\u201336 (2011)","DOI":"10.1145\/1950413.1950423"},{"issue":"18","key":"34_CR20","doi-asserted-by":"publisher","first-page":"2122","DOI":"10.1093\/bioinformatics\/btn390","volume":"24","author":"CM Lloyd","year":"2008","unstructured":"Lloyd, C.M., Lawson, J.R., Hunter, P.J., et al.: The CellML model repository. Bioinformatics 24(18), 2122\u20132123 (2008)","journal-title":"Bioinformatics"},{"issue":"8","key":"34_CR21","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1016\/j.micpro.2006.02.008","volume":"31","author":"J Detrey","year":"2007","unstructured":"Detrey, J., de Dinechin, F.: Parameterized floating-point logarithm and exponential functions for FPGAs. Microprocess. Microsyst. Spec. Issue FPGA-based Reconfigurable Comput. 31(8), 537\u2013545 (2007)","journal-title":"Microprocess. Microsyst. Spec. Issue FPGA-based Reconfigurable Comput."},{"key":"34_CR22","doi-asserted-by":"crossref","unstructured":"Grandi, E., Pasqualini, F.S., Bers, D.M.: A novel computational model of the human ventricular action potential and Ca transient (2010). CellML file: grandi_pasqualini_bers_2010_flat.cellml (Geoffrey Nunns)","DOI":"10.1016\/j.yjmcc.2009.09.019"},{"key":"34_CR23","doi-asserted-by":"crossref","unstructured":"Hornberg, J.J., Binder, B., Bruggeman, F.J., et al.: Control of MAPK signalling: from complexity to what really matters (2005). CellML file: hornberg_binder_brugge-man_schoeberl_heinrich_westerhoff_2005.cellml (Catherine Lloyd)","DOI":"10.1038\/sj.onc.1208817"},{"key":"34_CR24","doi-asserted-by":"crossref","unstructured":"Iyer, V., Hajjar, R.J., Armoundas, A.A.: Mechanisms of abnormal calcium homeostasis in mutations responsible for catecholaminergic polymorphic ventricular tachycardia (2007). CellML file: iyer_2007_ss.cellml (Penny Noble)","DOI":"10.1161\/01.RES.0000258468.31815.42"},{"key":"34_CR25","doi-asserted-by":"crossref","unstructured":"Iyer, V., Mazhari, R., Winslow, R.L.: A computational model of the human left-ventricular epicardial myocyte (2004). CellML file: iyer_mazhari_winslow_2004.cellml (Steven Niederer)","DOI":"10.1529\/biophysj.104.043299"}],"container-title":["Lecture Notes in Computer Science","Applied Reconfigurable Computing. Architectures, Tools, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-78890-6_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,14]],"date-time":"2019-10-14T13:20:28Z","timestamp":1571059228000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-78890-6_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319788890","9783319788906"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-78890-6_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}