{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T13:51:15Z","timestamp":1761486675753,"version":"3.41.2"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2001,4,1]],"date-time":"2001-04-01T00:00:00Z","timestamp":986083200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,4,1]],"date-time":"2001-04-01T00:00:00Z","timestamp":986083200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Design Automation for Embedded Systems"],"published-print":{"date-parts":[[2001,4]]},"DOI":"10.1023\/a:1011246731756","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T04:18:21Z","timestamp":1040617101000},"page":"177-205","source":"Crossref","is-referenced-by-count":16,"title":["Device Driver and DMA Controller Synthesis from HW \/SW Communication Protocol Specifications"],"prefix":"10.1007","volume":"6","author":[{"given":"MATTIAS","family":"O'Nils","sequence":"first","affiliation":[]},{"given":"AXEL","family":"Jantsch","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"354144_CR1","unstructured":"ARM Software Development Toolkit-Reference Manual, Version 2.0, Advanced RISC Machines Ltd., 1995."},{"key":"354144_CR2","doi-asserted-by":"crossref","unstructured":"F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, A, Jurecska, L. Lavagno, C. Passerone, A. Sangiovanni-Vincentelli, E. Sentovich, K. Suzuki, and B. Tabbara, Hardware-Software Co-Design of Embedded Systems: The Polis Approach. Kluwer Academic Press, 1997.","DOI":"10.1007\/978-1-4615-6127-9"},{"key":"354144_CR3","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/BF02249046","volume":"1","author":"B. Bohem","year":"1995","unstructured":"B. Bohem, B. Clark. E. Horowitz, C. Westland, R. Madachy, and R. Selby, Cost models for future software life cycle processes: COCOMO 2.0, Annals of Software Engineering, Vol. 1, pp. 57\u201394, 1995.","journal-title":"Annals of Software Engineering"},{"issue":"3","key":"354144_CR4","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1109\/5.558713","volume":"85","author":"I. Bolsens","year":"1997","unstructured":"I. Bolsens, H. J. De Man, B. Linn, K. van Rompaey, S. Vercauteren, and D. Verkest, Hardware\/software co-design of digital telecommunication systems, Proceedings of the IEEE, Vol. 85, No. 3, pp. 391\u2013418, 1997.","journal-title":"Proceedings of the IEEE"},{"key":"354144_CR5","doi-asserted-by":"crossref","unstructured":"P. H. Chou, R. B. Ortega, and G. Borriello, The Chinook hardware\/software co-synthesis system, Proceedings of the International Symposium on System Synthesis, 1995.","DOI":"10.1145\/224486.224491"},{"key":"354144_CR6","doi-asserted-by":"crossref","unstructured":"P. H. Chou, R. B. Ortega, and G. Borriello, Synthesis of the hardware\/software interface in microcontrollerbased systems, Proceedings of the International Conference on Computer Aided Design, pp. 488\u2013495, 1992.","DOI":"10.1109\/ICCAD.1992.279322"},{"issue":"1","key":"354144_CR7","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1109\/92.555993","volume":"5","author":"J-M Daveau","year":"1997","unstructured":"J-M Daveau, G. F. Marchioro, T. Ben-Ismail, and A. A. Jerraya, Protocol selection and interface generation for hw-sw codesign, IEEE Transaction on Very Large Scale Integration, Vol. 5, No. 1, pp. 136\u2013144, 1997.","journal-title":"IEEE Transaction on Very Large Scale Integration"},{"key":"354144_CR8","unstructured":"M. De Prycker, Asynchronous Transfer Mode. Prentice Hall, 1995."},{"key":"354144_CR9","unstructured":"J. C. D\u00edas, J. Riesco, and P. Plaza, Design of an ARM based system-on-a-chip for pay phones, Proceedings of the International Workshop on IP Based Synthesis and System Design, pp. 101\u2013105, 1998."},{"key":"354144_CR10","unstructured":"EIA\/TIA Interim Standard, Cellular System Dual-Mode Mobile Station\u2014Base Station Compatibility Standard, IS-54-B, April, 1992."},{"key":"354144_CR11","doi-asserted-by":"crossref","unstructured":"M. Eisenring and J. Teich, Domain-specific interface generation from dataflow specifications, Proceedings of the 6th International Workshop on Hardware\/Software Codesign, pp. 43\u201347, 1998.","DOI":"10.1145\/278241.278295"},{"key":"354144_CR12","unstructured":"R. Ernst and Th. Benner, Communication, Constraints and User Directives in COSYMA, Technical Report CY-94-2, Technische Universit\u00e4t Braunschweig, June 1994."},{"key":"354144_CR13","unstructured":"S. Furber, ARM System Architecture, Addison Wesley Longman, ISBN 0-201-40352-8, 1996."},{"issue":"1","key":"354144_CR14","first-page":"75","volume":"36","author":"R. Grehan","year":"1997","unstructured":"R. Grehan, Driver assistance, Computer Design, vol. 36, no. 1, pp. 75\u201380, 1997.","journal-title":"Computer Design"},{"key":"354144_CR15","unstructured":"INTROL\/CODE-Reference Manual, Introl Inc., Milwaukee, WI 53202 USA, 1999."},{"key":"354144_CR16","unstructured":"D. C. R. Jensen, J. Madsen, and S. Pedersen, The importance of interfaces: A HW\/SW codesign case study, Proceedings of 5th International Workshop on Codesign, 1997."},{"key":"354144_CR17","unstructured":"A. A. Jerraya and K. O'Brien, SOLAR: An intermediate format for system-level modeling and synthesis, Computer Aided Software\/Hardware Engineering, Ed. J. Rozenblit, IEEE Publisher, chap. 10, 1994."},{"key":"354144_CR18","series-title":"Computing Science Tech. Rep.","volume-title":"Yet another compiler compiler","author":"S. C. Johnsson","year":"1975","unstructured":"S. C. Johnsson, Yet another compiler compiler, Computing Science Tech. Rep. 32, AT&T Bell Lab., Murray Hill, 1975."},{"key":"354144_CR19","volume-title":"mC\/OS-The Real-Time Kernel","author":"J. J. Labrosse","year":"1992","unstructured":"J. J. Labrosse, mC\/OS-The Real-Time Kernel. R&D Publications, Lawrence, Kansas 66046, 1992."},{"key":"354144_CR20","unstructured":"MAX 197-Multi-Range 12-bit ADC, Data sheet, Maxim Integrated Products, CA."},{"key":"354144_CR21","unstructured":"MAX 530-Multi-Range 12-bit DAC, Data sheet, Maxim Integrated Products, CA."},{"key":"354144_CR22","unstructured":"MC68000 Family Reference Manual. Motorola Inc., 1990."},{"key":"354144_CR23","doi-asserted-by":"crossref","unstructured":"R. Niemann and P. Marwedel, Synthesis of communicating controllers for concurrent hardware\/software systems, Proceedings of Design Automation and Test in Europe, pp. 912\u2013913, 1998.","DOI":"10.1109\/DATE.1998.655966"},{"key":"354144_CR24","volume-title":"Specification, Synthesis and Validation of Hardware\/Software Interfaces","author":"M. O'Nils","year":"1999","unstructured":"M. O'Nils, Specification, Synthesis and Validation of Hardware\/Software Interfaces. PhD Thesis, TRITAESD-1999-04, Kungliga Tekniska H\u00f6gskolan (KTH), Stockholm, Sweden, June 1999."},{"key":"354144_CR25","doi-asserted-by":"crossref","unstructured":"M. O'Nils, J. \u00d6berg and A. Jantsch, Grammar based modelling and synthesis of device drivers and bus interfaces, Proceedings of Euromicro Conference, pp. 55\u201358, 1998.","DOI":"10.1109\/EURMIC.1998.711776"},{"key":"354144_CR26","unstructured":"M. O'Nils and A. Jantsch, Multi-phase validation of hardware\/software interfaces based on generated simulation models, Proceedings of IEEE Workshop on High Level Design, Validation and Test, pp. 32\u201340, 1998."},{"key":"354144_CR27","doi-asserted-by":"crossref","unstructured":"R. B. Ortega and G. Borriello, Communication synthesis for distributed embedded systems, Proceedings of the International Conference on Computer Aided Design, 1998.","DOI":"10.21236\/ADA416530"},{"key":"354144_CR28","doi-asserted-by":"crossref","unstructured":"R. B. Ortega, L. Lavagno, and G. Borriello, Models and methods for hw\/sw intellectual property interfacing, NATO ASI on System-level Synthesis, 1998.","DOI":"10.1007\/978-94-011-4698-2_12"},{"key":"354144_CR29","unstructured":"A. Seawright, U. Holtmann, W. Meyer, B. Pangrle, R. Verbrugghe, and J. Buck, A system for compiling and debugging structured data processing controllers, Proceedings of the European Design Automation Conference, 1996."},{"key":"354144_CR30","unstructured":"TL16552-Dual Asynchronous Communications Element with FIFO, Data sheet, Texas Instruments Inc., 1996."},{"key":"354144_CR31","unstructured":"E. Tuggle, Writing device drivers, Embedded Systems Programming, Jan. 1993, pp. 42\u201365."},{"key":"354144_CR32","unstructured":"F. Vahid and L. Tauro, An object-oriented communication library for hardware-software codesign, Proceedings of 5th International Workshop on Hardware\/Software Codesign, 1997."},{"key":"354144_CR33","unstructured":"Z80-Microprocessor Family User's Manual, Zilog Inc., 1994."},{"key":"354144_CR34","doi-asserted-by":"crossref","unstructured":"J. \u00d6berg, A. Kumar, and A. Hemani, Grammar-based hardware synthesis of data communication protocols, Proceedings of the 9th International Symposium on System Synthesis, pp. 14\u201319, 1996.","DOI":"10.1109\/ISSS.1996.565871"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011246731756.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1011246731756\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011246731756.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:45:45Z","timestamp":1752461145000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1011246731756"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,4]]},"references-count":34,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2001,4]]}},"alternative-id":["354144"],"URL":"https:\/\/doi.org\/10.1023\/a:1011246731756","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"type":"print","value":"0929-5585"},{"type":"electronic","value":"1572-8080"}],"subject":[],"published":{"date-parts":[[2001,4]]}}}