{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,15]],"date-time":"2025-07-15T03:20:33Z","timestamp":1752549633844,"version":"3.30.2"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1996,7,1]],"date-time":"1996-07-01T00:00:00Z","timestamp":836179200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[1996,7]]},"DOI":"10.1007\/bf00133305","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T13:58:24Z","timestamp":1099403904000},"page":"257-289","source":"Crossref","is-referenced-by-count":22,"title":["Co-synthesis and co-simulation of control-dominated embedded systems"],"prefix":"10.1007","volume":"1","author":[{"given":"Alessandro","family":"Balboni","sequence":"first","affiliation":[]},{"given":"William","family":"Fornaciari","sequence":"additional","affiliation":[]},{"given":"Donatella","family":"Sciuto","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"M. Altmae, P. Gibson, L. Taxen, and K. Torkelsson. Verification of systems containing hardware and software. In Proc. of EURO-VHDL '91, Stockholm, September 1991."},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"S. Antoniazzi, A. Balboni, W. Fornaciari, and D. Sciuto. HW\/SW co-design for embedded telecom systems. In Proc. of ICCD'94 IEEE Int. Conf. on Computer Design, pages 278?291, Cambridge, Massachusetts, October 10?12, 1994.","DOI":"10.1109\/ICCD.1994.331904"},{"key":"CR3","unstructured":"S. Antoniazzi, A. Balboni, W. Fornaciari, and D. Sciuto. The role of VHDL within the TOSCA co-design framework. In Proc. of Euro-VHDL'94, Grenoble, France, September 1994."},{"key":"CR4","unstructured":"A. Balboni, W. Fornaciari, and D. Sciuto. TOSCA: a pragmatic approach to co-design automation of control dominated systems. Hardware\/Software Co-design, NATO ASI Series, Series E: Applied Sciences, vol. 310, pp. 265?294. Kluwer Academic Publisher, 1996."},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"A. Balboni, W. Fornaciari, and D. Sciuto. System-level exploration for control-dominated embedded systems. In Proc. of APCHDL'96, Bangalore, India, January 1996.","DOI":"10.1007\/BF00133305"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"T. Benner, R. Ernst, and J. Henkel. Hardware-software cosynthesis for microcontrollers. IEEE Design & Test, 10(4), December 1993.","DOI":"10.1109\/54.245964"},{"key":"CR7","first-page":"155","volume":"4","author":"J. Buck","year":"1994","unstructured":"J. Buck, S. Ha, A. Lee, and D. G. Messerschmitt. Ptolemy: a framework for simulating and prototyping heterogeneous systems. Int. Journal of Computer Simulation, 4:155?182, April 1994.","journal-title":"Int. Journal of Computer Simulation"},{"key":"CR8","unstructured":"M. Chiodo, P. Giusto, A. Jurecska, L. Lavagno, H. Hsieh, and A. Sangiovanni-Vincentelli. Synthesis of mixed software-hardware implementations from CFSM specifications. In Proc. of 2nd Workshop on HW\/SW Co-Design, Cambridge, Massachusetts, October 1993."},{"issue":"4","key":"CR9","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/40.296155","volume":"14","author":"M. Chiodo","year":"1994","unstructured":"M. Chiodo, P. Giusto, A. Jurecska, H. C. Hsieh, A. Sangiovanni-Vincentelli, and L. Lavagno. Hardware-software codesign of embedded systems. IEEE Micro, 14(4):26?36, August 1994.","journal-title":"IEEE Micro"},{"issue":"4","key":"CR10","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/40.296156","volume":"14","author":"P. Chou","year":"1994","unstructured":"P. Chou, E. A. Wlakup, and G. Borriello. Scheduling for reactive real-time systems. IEEE Micro, 14(4):37?47, August 1994.","journal-title":"IEEE Micro"},{"issue":"5","key":"CR11","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/54.60605","volume":"7","author":"G. Micheli De","year":"1990","unstructured":"G. De Micheliet al. The Olympus synthesis system. IEEE Design and Test of Computers, 7(5):37?53, October 1990.","journal-title":"IEEE Design and Test of Computers"},{"key":"CR12","unstructured":"W. Fornaciari, A. Agostini, G. S. Sturniolo, N. Missere, M. Vincenzi, and S. Prodi. Hardware-software co-design within the TOSCA design environment. In Proc. of IEEE-ICRAM95, Istanbul, Turkey, August 1995."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"D. Gajski, F. Vahid, and S. Narayan. A system-design methodology: executable-specification refinement. In Proc. of EDAC'94, Paris, France, February 1994.","DOI":"10.1109\/EDTC.1994.326836"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"S. Narayan and D. Gajski. Synthesis of system-level bus interfaces. In Proc. of EDAC'94, Paris, France, February 1994.","DOI":"10.1109\/EDTC.1994.326846"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"R. K. Gupta, C. Coelho, and G. De Micheli. Synthesis and simulation of digital systems containing interacting hardware and software components. In Proc. of the 29th DAC, June 1992.","DOI":"10.1109\/DAC.1992.227832"},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"R. K. Gupta and G. De Micheli. Hardware-software cosynthesis for digital systems. IEEE Design & Test, September 1993.","DOI":"10.1109\/54.232470"},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"D. Harel. Statecharts: A Visual Formalism for Complex Systems, Science of Computer Programming. North-Holland, 1987.","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"D. Harel et al. STATEMATE: a working environment for the development of complex reactive systems. IEEE Trans. on Software Engineering, 16(4). April 1990.","DOI":"10.1109\/32.54292"},{"issue":"8","key":"CR19","first-page":"66","volume":"18","author":"C. A. R. Hoare","year":"1978","unstructured":"C. A. R. Hoare. Communicating sequential processes. Communications of the ACM, 18(8):66?77. August 1978.","journal-title":"Communications of the ACM"},{"key":"CR20","unstructured":"T. Ismail, K. O'Brien, and A. Jerraya. Interactive system-level partitioning with PARTIE In Proc. of EDAC'94, Paris, France, February 1994."},{"key":"CR21","unstructured":"H. Jifeng, I. Page e J. Bowen. Towards a Provably Correct Hardware Implementation of OCCAM. Technical Report, Oxford University Computing Laboratory, 1994."},{"key":"CR22","unstructured":"A. K. Mok. The design of real-time programming systems based on process models. In Proc. of IEEE Real-Time Systems Symposium, pp. 5?17, December 1984."},{"key":"CR23","unstructured":"U. Steinhausen, R. Camposano, H. Gunther, P. Ploger, M. Theibinger, H. Veit, H. T. Vierhaus, U. Westerholz, and J. Wilberg, System-synthesis using hardware\/software co-design. In Proc. of 2nd Workshop on HW\/SW Co-Design, Cambridge, Massachusetts, October 1993."},{"key":"CR24","doi-asserted-by":"crossref","unstructured":"S. Sutarwala, P. Paulin, and Y. Kumar. Insulin: an instruction set simulation environment. In Proc. of CHDL'93, pages 355?362, Ottawa, Canada, April 1993.","DOI":"10.1016\/B978-0-444-81641-2.50034-4"},{"key":"CR25","doi-asserted-by":"crossref","unstructured":"F. Vahid and D. Gajski. SLIF: a specification-level intermediate format for system design. In Proc. ED &TC 95, pages 185?188.","DOI":"10.1109\/EDTC.1995.470394"},{"key":"CR26","doi-asserted-by":"crossref","unstructured":"F. Vahid and D. D. Gajski. Specification and design of embedded hardware-software systems. IEEE Design & Test of Computer, 53?67, Spring 1995.","DOI":"10.1109\/54.350695"},{"key":"CR27","unstructured":"W. Wolf, A. Takach, C. Huang, and R. Manno. The Princeton University Behavioral Synthesis System. 29th DAC, 1992."},{"key":"CR28","doi-asserted-by":"crossref","unstructured":"W. H. Wolf. Hardware-software co-design of embedded systems. In Proceedings of the IEEE, 82(7), July 1994.","DOI":"10.1109\/5.293155"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00133305.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00133305\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00133305","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,19]],"date-time":"2024-12-19T15:16:35Z","timestamp":1734621395000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00133305"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,7]]},"references-count":28,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,7]]}},"alternative-id":["BF00133305"],"URL":"https:\/\/doi.org\/10.1007\/bf00133305","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"type":"print","value":"0929-5585"},{"type":"electronic","value":"1572-8080"}],"subject":[],"published":{"date-parts":[[1996,7]]}}}