{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:38Z","timestamp":1761611138432},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"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,1]]},"DOI":"10.1007\/bf00134683","type":"journal-article","created":{"date-parts":[[2004,9,16]],"date-time":"2004-09-16T20:56:57Z","timestamp":1095368217000},"page":"51-67","source":"Crossref","is-referenced-by-count":33,"title":["A case study in computer-aided co-design of embedded controllers"],"prefix":"10.1007","volume":"1","author":[{"given":"Massimiliano","family":"Chiodo","sequence":"first","affiliation":[]},{"given":"Daniel","family":"Engels","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Giusto","sequence":"additional","affiliation":[]},{"given":"Harry","family":"Hsieh","sequence":"additional","affiliation":[]},{"given":"Attila","family":"Jurecska","sequence":"additional","affiliation":[]},{"given":"Luciano","family":"Lavagno","sequence":"additional","affiliation":[]},{"given":"Kei","family":"Suzuki","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"F. Balarin and A. Sangiovanni-Vincentelli. A verification strategy for timing-constrained systems. In Proceedings of the Fourth Workshop on Computer-Aided Verification, pages 148?163, 1992.","DOI":"10.1007\/3-540-56496-9_13"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"G. Berry, P. Couronn\u00e9, and G. Gonthier. The synchronous approach to reactive and real-time systems. IEEE Proceedings, 79, September 1991.","DOI":"10.1109\/5.97297"},{"issue":"9","key":"CR3","doi-asserted-by":"crossref","first-page":"1293","DOI":"10.1109\/5.97299","volume":"79","author":"F. Boussinot","year":"September 1991","unstructured":"F. Boussinot and R. de Simone. The ESTEREL language. Proceedings of the IEEE, 79(9):1293?1304, September 1991.","journal-title":"Proceedings of the IEEE"},{"key":"CR4","unstructured":"J. Buck, S. Ha, E.A. Lee, and D.G. Masserschmitt. Ptolemy: a framework for simulating and prototyping heterogeneous systems. Interntional Journal of Computer Simulation, special issue on Simulation Software Development, January 1990."},{"key":"CR5","unstructured":"M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, and A. Sangiovanni-Vincentelli. A formal specification model for hardware\/software codesign. Technical Report UCB\/ERL M93\/48, U.C. Berkeley, June 1993."},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"P. Chou, R. Ortega, and G. Borriello. Synthesis of hardware\/software interface in microcontroller-based systems. In Proceedings of the International Conference on Computer-Aided Design, November 1992.","DOI":"10.1109\/ICCAD.1992.279322"},{"key":"CR7","unstructured":"CISI Ingenierie, Agence Provence Est, Les Cardoulines B1 06560 Valbonne, France. Esterei V-3, Language Reference Manual, 1988."},{"key":"CR8","unstructured":"CISI Ingenierie, Agence Provence Est, Les Cardoulines B1 06560, Valbonne, France. Esterel V-3, Debug Format Manual, 1988."},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"D. Drusinski and D. Har'el. Using statecharts for hardware description and synthesis. IEEE Transactions on Computer-Aided Design, 8(7), July 1989.","DOI":"10.1109\/43.31537"},{"key":"CR10","unstructured":"D. Engels. Real-time task level scheduling in the POLIS co-design environment. Master's thesis, U.C. Berkeley, 1995."},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"R. K. Gupta, C. N. Coelho Jr., and G. De Micheli. Synthesis and simulation of digital systems containing interacting hardware and software components. In Proceedings of the Design Automation Conference, June 1992.","DOI":"10.1109\/DAC.1992.227832"},{"key":"CR12","unstructured":"Z. Har'El and R. Kurshan. Cospan user's guide. Technical report, AT&T Technical Report, October 1987."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"D. Harrison. Vem: interactive graphics for oct. Master's thesis, U. C. Berkeley, 1989.","DOI":"10.1177\/072551368902200105"},{"issue":"1","key":"CR14","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C.I. Liu","year":"January 1973","unstructured":"C.I. Liu and J.W. Layland. Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the Association for Computing Machinery, 20(1):46?61, January 1973.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"CR15","unstructured":"M.C. McFarland, T.J. Kowalski, and M.J. Peman. Language and formal semantics of the specification system CPA. In Proceedings of the International Workshop on Hardware-Software Codesign, September 1992."},{"issue":"5","key":"CR16","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/2.76286","volume":"24","author":"C. Y. Park","year":"1991","unstructured":"C. Y. Park and A. C. Shaw. Experiments with a program timing tool based on source-level timing schema. IEEE Computer, 24(5):48?57, 1991.","journal-title":"IEEE Computer"},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"E. M. Sentovich, K. J. Singh, L. Lavagno, C. Moon, R. Murgai, A. Saldanha, H. Savoj, P. R. Stephan, R. K. Brayton, and A. Sangiovanni-Vincentelli. SIS: A system for sequential circuit synthesis. Technical Report UCB\/ERL M92\/41, U.C. Berkeley, May 1992.","DOI":"10.1109\/ICCD.1992.276282"},{"key":"CR18","unstructured":"T. Shiple, A. Aziz, F. Balarin, S. Cheng, R. Hojati, T. Kam, S. Krishnan, V. Singhal, H. Wang, R. Brayton, and A. Sangiovanni-Vincentelli. Formal design verification of digital systems. In Proceedings of TECHCON, 1993."},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"M. B. Srivastava and R. W. Brodersen. Rapid-prototyping of hardware and software in a unified framework. In Proceedings of the International Conference on Computer-Aided Design, November 1991.","DOI":"10.1109\/ICCAD.1991.185217"},{"key":"CR20","unstructured":"C. E. Stroud. Problems associated with hardware implementation of software algorithms using behavioral model synthesis. In Proceedings of the International Workshop on Hardware-Software Codesign, September 1992."},{"key":"CR21","unstructured":"N. Woo, W. Wolf, and A. Dunlop. Compilation of a single specification into hardware and software. In Proceedings of the International Workshop on Hardware-Software Codesign, September 1992."}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00134683.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00134683\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00134683","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T04:49:04Z","timestamp":1585889344000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00134683"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,1]]},"references-count":21,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1996,1]]}},"alternative-id":["BF00134683"],"URL":"https:\/\/doi.org\/10.1007\/bf00134683","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"value":"0929-5585","type":"print"},{"value":"1572-8080","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,1]]}}}