{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:55:39Z","timestamp":1742396139190},"reference-count":47,"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\/bf00134684","type":"journal-article","created":{"date-parts":[[2004,9,16]],"date-time":"2004-09-16T20:56:57Z","timestamp":1095368217000},"page":"69-120","source":"Crossref","is-referenced-by-count":25,"title":["A co-synthesis approach to embedded system design automation"],"prefix":"10.1007","volume":"1","author":[{"given":"Rajesh K.","family":"Gup","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"de Micheli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"The 6th Annual Computer Industry Almanac 1993","author":"K. P. Juliussen","year":"1993","unstructured":"K. P. Juliussen and E. Juliussen, The 6th Annual Computer Industry Almanac 1993. The Reference Press, Austin, TX, 1993."},{"key":"CR2","volume-title":"Market survey","author":"M. L. Bader","year":"1993","unstructured":"M. L. Bader, ?Market survey,? Bader Associates, Mountain View, California, 1993."},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"J. Aylor, R. Camposano, M. Schuette, W. Wolf, and N. Woo, ?The future of embedded system design,? in Proc. International Conference on Computer Design, pp. 144?146, 1992.","DOI":"10.1109\/ICCD.1992.276236"},{"issue":"no. 7","key":"CR4","first-page":"965","volume":"vol. 82","author":"W. Wolf","year":"July 1994","unstructured":"W. Wolf, ?Hardware-Software Co-design of Embedded Systems,? IEEE Proceedings, vol. 82, no. 7, pp. 965?989, July 1994.","journal-title":"IEEE Proceedings"},{"key":"CR5","unstructured":"D. D. Gajski, F. Vahid, S. Narayan, and J. Gong, Specification and Design of Embedded Systems. Prentice Hall, 1994."},{"issue":"no. 4","key":"CR6","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/40.296155","volume":"vol. 14","author":"M. Chiodo","year":"Aug. 1994","unstructured":"M. Chiodo, P. Giusto, A. Jurecska, A. Jurecska, A. S. Vincentelli, and L. Lavagno, ?Hardware-software codesign of embedded systems,? IEEE Micro, vol. 14, no. 4, pp. 26?36, Aug. 1994.","journal-title":"IEEE Micro"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"D. E. Thomas, J. K. Adams, and H. Schmit, ?A Model and Methodology for Hardware-Software Codesign,? IEEE Design & Test of Computers, pp. 6?15, Sept. 1993.","DOI":"10.1109\/54.232468"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"A. Kalavade and E. A. Lee, ?A Hardware-Software Codesign Methodology for DSP Applications,? IEEE Design and Test Magazine, pp. 16?28, Sept. 1993.","DOI":"10.1109\/54.232469"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"D. Harel, ?Biting the silver bullet,? IEEE Computer, pp. 8?20, Jan. 1992.","DOI":"10.1109\/2.108047"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"N. Halbwachs, Synchronous programming of reactive systems. Kluwer Academic, 1993.","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"CR11","unstructured":"A. Burns and A. Wellings, Real-Time Systems and Their Programming Languages. Addison-Wesley, 1990."},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"D. Ku and G. D. Micheli, High-level Synthesis of ASICs under Timing and and Synchronization Constraints. Kluwer Academic Publishers, 1992.","DOI":"10.1007\/978-1-4757-2117-1"},{"key":"CR13","unstructured":"V. Cerf, Multiprocessors, Semaphores and a Graph Model of Computation. PhD thesis, UCLA, Apr. 1972."},{"key":"CR14","unstructured":"D. Bustard, J. Elder, and J. Welsh, Concurrent Program Structures, Prentice Hall, 1988."},{"issue":"no. 1","key":"CR15","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1109\/TSE.1985.231845","volume":"vol. SE-11","author":"B. Dasarathy","year":"Jan. 1985","unstructured":"B. Dasarathy, ?Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Method of Validating Them,? IEEE Trans. Software Engineering, vol. SE-11, no. 1, pp. 80?86, Jan. 1985.","journal-title":"IEEE Trans. Software Engineering"},{"issue":"no. 11","key":"CR16","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"vol. 26","author":"J. F. Allen","year":"Nov. 1983","unstructured":"J. F. Allen, ?Maintaining knowledge about temporal intervals,? Communications ACM, vol. 26, no. 11, pp. 832?843, Nov. 1983.","journal-title":"Communications ACM"},{"issue":"no. 6","key":"CR17","first-page":"696","volume":"vol. 11","author":"D. Ku","year":"June 1992","unstructured":"D. Ku and G. D. Micheli, ?Relative Scheduling Under Timing Constraints: Algorithms for High-Level Synthesis of Digital Circuits,? IEEE Transactions on CAD\/ICAS, vol. 11, no. 6, pp. 696?718, June 1992.","journal-title":"IEEE Transactions on CAD\/ICAS"},{"key":"CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-2287-4","volume-title":"Co-Synthesis of Hardware and Software for Digital Embedded Systems","author":"R. K. Gupta","year":"1995","unstructured":"R. K. Gupta, Co-Synthesis of Hardware and Software for Digital Embedded Systems. Kluwer Academic Publishers, Boston, 1995."},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"T. Amon and G. Borriello, ?Sizing Synchronization Queues: A Case Study in Higher Level Synthesis,? in Proc. 28th Design Automation Conference, pp. 690?693, June 1991.","DOI":"10.1145\/127601.127752"},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"T. Kolks, B. Lin, and H. D. Man, ?Sizing and Verification of Communication Buffers for Communicating Processes,? in Proc. IEEE International Conference on Computer-Aided Design, pp. 660?664, Nov. 1993.","DOI":"10.1109\/ICCAD.1993.580157"},{"key":"CR21","unstructured":"A. Mathur and R. K. Gupta, ?Rate analysis for embedded systems,? technical report, Computer Science, University of Illinois, 1995."},{"key":"CR22","unstructured":"D. R. Cox and W. L. Smith, Queues. John Wiley and Sons, 1961."},{"key":"CR23","doi-asserted-by":"crossref","unstructured":"A. Heck, Introduction to Maple. Springer-Verlag, 1993.","DOI":"10.1007\/978-1-4684-0519-4"},{"key":"CR24","unstructured":"A. Mok, Fundamental Design Problems of Distributed Systems for the Hard-Real-Time Environment. PhD thesis, M.I.T., 1983."},{"key":"CR25","unstructured":"M. R. Garey and D. S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman and Company, 1979."},{"key":"CR26","unstructured":"A. V. Aho, R. Sethi, and J. D. Ullman, Compilers: Principles, Techniques and Tools. Addison Wesley, 1986."},{"issue":"no. 7","key":"CR27","doi-asserted-by":"crossref","first-page":"875","DOI":"10.1109\/32.29487","volume":"vol. 15","author":"A. Shaw","year":"July 1989","unstructured":"A. Shaw, ?Reasoning about Time in Higher Level Language Software,? IEEE Trans. Software Engg., vol. 15, no. 7, pp. 875?889, July 1989.","journal-title":"IEEE Trans. Software Engg."},{"key":"CR28","unstructured":"A. Mok and et. al., ?Evaluating Tight Execution Time Bounds of Programs by Annotations,? in Proc. IEEE Workshop Real-Time Operating Systems and Software, pp. 74?80, May 1989."},{"key":"CR29","doi-asserted-by":"crossref","unstructured":"C. Y. Park and A. C. Shaw, ?Experiments with a Program Timing Tool Based on Source-Level Timing Schema,? in Proc. 11 th IEEE Real-Time Systems Symposium, pp. 72?81, Dec. 1990.","DOI":"10.1109\/REAL.1990.128731"},{"key":"CR30","unstructured":"W. Hardt and R. Camposano, ?Trade-offfs in HW\/SW Codesign,? in International Workshop on Hardware-Software Co-design, Oct. 1993."},{"issue":"no. 1","key":"CR31","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/BF01088696","volume":"vol. 5","author":"C. Y. Park","year":"Mar. 1993","unstructured":"C. Y. Park, ?Predicting program execution times by analyzing static and dynamic program paths,? Real-Time Systems, vol. 5, no. 1, pp. 31?62, Mar. 1993.","journal-title":"Real-Time Systems"},{"key":"CR32","doi-asserted-by":"crossref","unstructured":"W. Ye, R. Ernst, T. Benner, and J. Henkel, ?Fast timing analysis for hardware-software co-synthesis,? in Proc. International Conference on Computer Design, 1993.","DOI":"10.1109\/ICCD.1993.393335"},{"key":"CR33","doi-asserted-by":"crossref","unstructured":"P. Chou and G. Borriello, ?Software scheduling in the Co-Synthesis of Reactive Real-Time Systems,? in Proc. Design Automation Conference, June 1994.","DOI":"10.1145\/196244.196247"},{"key":"CR34","doi-asserted-by":"crossref","unstructured":"R. K. Gupta and G. D. Micheli, ?Constrained software generation for hardware-software systems,? in Proc. Third Intl. Workshop on Hardware-Software Co-design, Sept. 1994.","DOI":"10.1109\/HSC.1994.336702"},{"issue":"no. 12","key":"CR35","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1109\/2.247650","volume":"vol. 25","author":"S. Kumar","year":"Dec. 1993","unstructured":"S. Kumar, J. H. Aylor, B. W. Johnson, and W. A. Wulf, ?A Framework for Hardware\/Software Codesign,? Computer, vol. 25, no. 12, pp. 39?45, Dec. 1993.","journal-title":"Computer"},{"key":"CR36","doi-asserted-by":"crossref","unstructured":"J. G. D'Ambrosio and X. Hu, ?Configuration-level hardware\/software partitioning for real-time embedded systems,? in Proc. Intl. Workshop on Hardware\/Software Codesign, 1994.","DOI":"10.1109\/HSC.1994.336725"},{"key":"CR37","doi-asserted-by":"crossref","unstructured":"F. Vahid and D. D. Gajski, ?Specification partitioning for system design,? in Proc. Design Automation Conference, 1992.","DOI":"10.1109\/DAC.1992.227833"},{"key":"CR38","unstructured":"E. Barros, W. Rosenstiel, and X. Xiong, ?Hardware\/Software Partitioning with UNITY,? in Workshop on Hardware\/Software Co-design, Oct. 1993."},{"key":"CR39","doi-asserted-by":"crossref","unstructured":"G. Menez, M. Auguin, F. Boeri, and C. Carriere, ?A Partitioning Algorithm for System-Level Synthesis,? in Proc. IEEE International Conference on Computer-Aided Design, pp. 482?487, Nov. 1992.","DOI":"10.1109\/ICCAD.1992.279323"},{"key":"CR40","doi-asserted-by":"crossref","unstructured":"R. Ernst, J. Henkel, and T. Benner, ?Hardware-Software Cosynthesis for Microcontrollers,? IEEE Design & Test of Computers pp. 64?75, Dec. 1993.","DOI":"10.1109\/54.245964"},{"key":"CR41","doi-asserted-by":"crossref","unstructured":"T. B. Ismail, K. O'Brien, and A. Jerraya, ?Interactive system-level partitioning with PARTIF,? in Proc. European Design Automation Conference, 1994.","DOI":"10.1109\/EDTC.1994.326835"},{"key":"CR42","unstructured":"R. K. Gupta and G. D. Micheli, ?Vulcan - A System for High-Level Partitioning of Synchronous Digital Systems,? CSL Technical Report CSL-TR-471, Stanford University, Apr. 1991."},{"key":"CR43","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1002\/j.1538-7305.1970.tb01770.x","volume":"vol. 49","author":"B. W. Kernighan","year":"Feb. 1970","unstructured":"B. W. Kernighan and S. Lin, ?An efficient heuristic procedure for partitioning graphs,? Bell System Technical Journal, vol. 49, pp. 291?307, Feb. 1970.","journal-title":"Bell System Technical Journal"},{"key":"CR44","volume-title":"Partitioning and scheduling parallel programs for multiprocessors","author":"V. Sarkar","year":"1989","unstructured":"V. Sarkar, Partitioning and scheduling parallel programs for multiprocessors. MIT Press, Cambridge, Mass., 1989."},{"key":"CR45","doi-asserted-by":"crossref","unstructured":"G. D. Micheli, D. C. Ku, F. Mailhot, and T. Truong, ?The Olympus Synthesis System for Digital Design,? IEEE Design and Test Magazine, pp. 37?53, Oct. 1990.","DOI":"10.1109\/54.60605"},{"key":"CR46","unstructured":"J. L. Hennessy and D. A. Patterson, Computer Architecture: A Quantitative Approach. Morgan-Kaufman, 1990."},{"key":"CR47","doi-asserted-by":"crossref","unstructured":"R. Gupta and G. D. Micheli, ?Partitioning of Functional Models of Synchronous Digital Systems,? in Proc. IEEE International Conference on Computer-Aided Design, pp. 216?219, Nov. 1990.","DOI":"10.1109\/ICCAD.1990.129884"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00134684.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00134684\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00134684","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T04:49:05Z","timestamp":1585889345000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00134684"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,1]]},"references-count":47,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1996,1]]}},"alternative-id":["BF00134684"],"URL":"https:\/\/doi.org\/10.1007\/bf00134684","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"value":"0929-5585","type":"print"},{"value":"1572-8080","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,1]]}}}