{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T14:32:23Z","timestamp":1773930743066,"version":"3.50.1"},"reference-count":52,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2007,10,5]],"date-time":"2007-10-05T00:00:00Z","timestamp":1191542400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2007,10,30]]},"DOI":"10.1007\/s10703-007-0039-0","type":"journal-article","created":{"date-parts":[[2007,10,4]],"date-time":"2007-10-04T20:06:55Z","timestamp":1191528415000},"page":"241-263","source":"Crossref","is-referenced-by-count":17,"title":["Finding optimal hardware\/software partitions"],"prefix":"10.1007","volume":"31","author":[{"given":"Zolt\u00e1n \u00c1d\u00e1m","family":"Mann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e1s","family":"Orb\u00e1n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P\u00e9ter","family":"Arat\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,10,5]]},"reference":[{"issue":"1","key":"39_CR1","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/12.822566","volume":"49","author":"TF Abdelzaher","year":"2000","unstructured":"Abdelzaher TF, Shin KG (2000) Period-based load partitioning and assignment for large real-time applications. IEEE Trans Comput 49(1):81\u201387","journal-title":"IEEE Trans Comput"},{"key":"39_CR2","doi-asserted-by":"crossref","unstructured":"Adams JK, Thomas DE (1995) Multiple-process behavioral synthesis for mixed hardware\/software systems. In: Proceedings of the IEEE\/ACM 8th international symposium on system synthesis","DOI":"10.1145\/224486.224489"},{"key":"39_CR3","doi-asserted-by":"crossref","unstructured":"Arat\u00f3 P, Juh\u00e1sz S, Mann ZA, Orb\u00e1n A, Papp D (2003) Hardware\/software partitioning in embedded system design. In: Proceedings of the IEEE international symposium on intelligent signal processing","DOI":"10.1109\/ISP.2003.1275838"},{"key":"39_CR4","unstructured":"Arat\u00f3 P, Mann ZA, Orb\u00e1n A (2003) Hardware-software co-design for Kohonen\u2019s self-organizing map. In: Proceedings of the IEEE 7th international conference on intelligent engineering systems"},{"issue":"1","key":"39_CR5","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1145\/1044111.1044119","volume":"10","author":"P Arat\u00f3","year":"2005","unstructured":"Arat\u00f3 P, Mann ZA, Orb\u00e1n A (2005) Algorithmic aspects of hardware\/software partitioning. ACM Trans Des Autom Electron Syst 10(1):136\u2013156","journal-title":"ACM Trans Des Autom Electron Syst"},{"issue":"3","key":"39_CR6","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/2.204677","volume":"26","author":"P Athanas","year":"1993","unstructured":"Athanas P, Silverman HF (1993) Processor reconfiguration through instruction-set metamorphosis. IEEE Comput 26(3):11\u201318","journal-title":"IEEE Comput"},{"key":"39_CR7","unstructured":"Barros E, Rosenstiel W, Xiong X (1993) Hardware\/software partitioning with UNITY. In: 2nd international workshop on hardware\u2013software codesign"},{"key":"39_CR8","unstructured":"Barros E, Rosenstiel W, Xiong X (1994) A method for partitioning UNITY language in hardware and software. In: Proceedings of the IEEE\/ACM European conference on design automation"},{"key":"39_CR9","doi-asserted-by":"crossref","unstructured":"Binh NN, Imai M, Shiomi A, Hikichi N (1996) A hardware\/software partitioning algorithm for designing pipelined ASIPs with least gate counts. In: Proceedings of the 33rd design automation conference","DOI":"10.1145\/240518.240618"},{"key":"39_CR10","doi-asserted-by":"crossref","unstructured":"Chatha KS, Vemuri R (2001) MAGELLAN: multiway hardware-software partitioning and scheduling for latency minimization of hierarchical control-dataflow task graphs. In: Proceedings of CODES 01","DOI":"10.1145\/371636.371671"},{"issue":"2","key":"39_CR11","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1109\/43.573831","volume":"16","author":"A Dasdan","year":"1997","unstructured":"Dasdan A, Aykanat C (1997) Two novel multiway circuit partitioning algorithms using relaxed locking. IEEE Trans Comput-Aided Des Integr Circuits Syst 16(2):169\u2013177","journal-title":"IEEE Trans Comput-Aided Des Integr Circuits Syst"},{"issue":"10","key":"39_CR12","doi-asserted-by":"crossref","first-page":"920","DOI":"10.1109\/43.728914","volume":"17","author":"RP Dick","year":"1998","unstructured":"Dick RP, Jha NK (1998) MOGAC: a multiobjective genetic algorithm for hardware-software co-synthesis of hierarchical heterogeneous distributed embedded systems. IEEE Trans Comput-Aided Des Integr Circuits Syst 17(10):920\u2013935","journal-title":"IEEE Trans Comput-Aided Des Integr Circuits Syst"},{"key":"39_CR13","doi-asserted-by":"crossref","unstructured":"Eles P, Peng Z, Kuchcinski K, Doboli A (1996) Hardware\/software partitioning of VHDL system specifications. In: Proceedings of EURO-DAC \u201996","DOI":"10.1109\/EURDAC.1996.558240"},{"issue":"1","key":"39_CR14","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1008857008151","volume":"2","author":"P Eles","year":"1997","unstructured":"Eles P, Peng Z, Kuchcinski K, Doboli A (1997) System level hardware\/software partitioning based on simulated annealing and tabu search. Des Autom Embed Syst 2(1):5\u201332","journal-title":"Des Autom Embed Syst"},{"issue":"4","key":"39_CR15","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/54.245964","volume":"10","author":"R Ernst","year":"1993","unstructured":"Ernst R, Henkel J, Benner T (1993) Hardware\/software cosynthesis for microcontrollers. IEEE Des Test Comput 10(4):64\u201375","journal-title":"IEEE Des Test Comput"},{"key":"39_CR16","doi-asserted-by":"crossref","unstructured":"Fiduccia CM, Mattheyses RM (1982) A linear-time heuristic for improving network partitions. In: Proceedings of the 19th design automation conference","DOI":"10.1109\/DAC.1982.1585498"},{"key":"39_CR17","unstructured":"Grode J, Knudsen PV, Madsen J (1998) Hardware resource allocation for hardware\/software partitioning in the LYCOS system. In: Proceedings of design automation and test in Europe (DATE \u201998)"},{"issue":"3","key":"39_CR18","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1109\/54.232470","volume":"10","author":"RK Gupta","year":"1993","unstructured":"Gupta RK, de Micheli G (1993) Hardware-software cosynthesis for digital systems. IEEE Des Test Comput 10(3):29\u201341","journal-title":"IEEE Des Test Comput"},{"key":"39_CR19","unstructured":"Guthaus MR, Ringenberg JS, Ernst D, Austin TM, Mudge T, Brown RB (1997) MiBench: a free, commercially representative embedded benchmark suite. In: Proceedings of the IEEE 4th annual workshop on workload characterization"},{"issue":"2","key":"39_CR20","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1109\/92.924041","volume":"9","author":"J Henkel","year":"2001","unstructured":"Henkel J, Ernst R (2001) An approach to automated hardware\/software partitioning using a flexible granularity that is driven by high-level estimation techniques. IEEE Trans VLSI Syst 9(2):273\u2013289","journal-title":"IEEE Trans VLSI Syst"},{"key":"39_CR21","doi-asserted-by":"crossref","unstructured":"Hwang E, Vahid F, Hsu YC (1999) FSMD functional partitioning for low power. In: Proceedings of the design automation and test in Europe conference","DOI":"10.1145\/307418.307432"},{"key":"39_CR22","unstructured":"Jantsch A, Ellervee P, Oeberg J (1994) Hardware\/software partitioning and minimizing memory interface traffic. In: Proceedings of the IEEE\/ACM European conference on design automation"},{"key":"39_CR23","volume-title":"System-level codesign of mixed hardware-software systems","author":"A Kalavade","year":"1995","unstructured":"Kalavade A (1995) System-level codesign of mixed hardware-software systems. PhD thesis, University of California, Berkeley, CA"},{"issue":"2","key":"39_CR24","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1023\/A:1008872518365","volume":"2","author":"A Kalavade","year":"1997","unstructured":"Kalavade A, Lee EA (1997) The extended partitioning problem: hardware\/software mapping, scheduling and implementation-bin selection. Des Autom Embed Syst 2(2):125\u2013164","journal-title":"Des Autom Embed Syst"},{"issue":"9","key":"39_CR25","doi-asserted-by":"crossref","first-page":"819","DOI":"10.1109\/43.720318","volume":"17","author":"A Kalavade","year":"1998","unstructured":"Kalavade A, Subrahmanyam PA (1998) Hardware\/software partitioning for multifunction systems. IEEE Trans Comput-Aided Des Integr Circuits Syst 17(9):819\u2013837","journal-title":"IEEE Trans Comput-Aided Des Integr Circuits Syst"},{"issue":"2","key":"39_CR26","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1002\/j.1538-7305.1970.tb01770.x","volume":"49","author":"BW Kernighan","year":"1970","unstructured":"Kernighan BW, Lin S (1970) An efficient heuristic procedure for partitioning graphs. Bell Syst Tech J 49(2):291\u2013307","journal-title":"Bell Syst Tech J"},{"key":"39_CR27","unstructured":"Knudsen PV, Madsen J (1996) PACE: a dynamic programming algorithm for hardware\/software partitioning. In: Proceedings of the IEEE\/ACM 4th international workshop on hardware\/software codesign"},{"key":"39_CR28","doi-asserted-by":"crossref","unstructured":"Lopez-Vallejo M, Grajal J, Lopez JC (2000) Constraint-driven system partitioning. In: Proceedings of DATE, pp 411\u2013416","DOI":"10.1145\/343647.343811"},{"key":"39_CR29","doi-asserted-by":"crossref","unstructured":"Lopez-Vallejo M, Lopez JC (1998) A knowledge based system for hardware-software partitioning. In: Proceedings of DATE","DOI":"10.1007\/978-1-4757-4419-4_3"},{"key":"39_CR30","unstructured":"Lopez-Vallejo M, Lopez JC (2001) Multi-way clustering techniques for system level partitioning. In: Proceedings of the 14th IEEE ASIC\/SOC conference, pp 242\u2013247"},{"issue":"3","key":"39_CR31","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1145\/785411.785412","volume":"8","author":"M Lopez-Vallejo","year":"2003","unstructured":"Lopez-Vallejo M, Lopez JC (2003) On the hardware-software partitioning problem: system modeling and partitioning techniques. ACM Trans Des Autom Electron Syst 8(3):269\u2013297","journal-title":"ACM Trans Des Autom Electron Syst"},{"issue":"2","key":"39_CR32","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1023\/A:1008884219274","volume":"2","author":"J Madsen","year":"1997","unstructured":"Madsen J, Grode J, Knudsen PV, Petersen ME, Haxthausen A (1997) LYCOS: the Lyngby co-synthesis system. Des Autom Embed Syst 2(2):195\u2013236","journal-title":"Des Autom Embed Syst"},{"key":"39_CR33","unstructured":"Mann ZA, Orb\u00e1n A (2003) Optimization problems in system-level synthesis. In: Proceedings of the 3rd Hungarian\u2013Japanese symposium on discrete mathematics and its applications"},{"key":"39_CR34","unstructured":"Mei B, Schaumont P, Vernalde S (2000) A hardware\/software partitioning and scheduling algorithm for dynamically reconfigurable embedded systems. In: Proceedings of ProRISC"},{"key":"39_CR35","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2803-3","volume-title":"Hardware\/software co-design for data flow dominated embedded systems","author":"R Niemann","year":"1998","unstructured":"Niemann R (1998) Hardware\/software co-design for data flow dominated embedded systems. Kluwer Academic, Dordrecht"},{"key":"39_CR36","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1023\/A:1008832202436","volume":"2","author":"R Niemann","year":"1997","unstructured":"Niemann R, Marwedel P (1997) An algorithm for hardware\/software partitioning using mixed integer linear programming. Des Autom Embed Syst, special issue: Partitioning methods for embedded systems 2:165\u2013193","journal-title":"Des Autom Embed Syst, special issue: Partitioning methods for embedded systems"},{"key":"39_CR37","unstructured":"O\u2019Nils M, Jantsch A, Hemani A, Tenhunen H (1995) Interactive hardware-software partitioning and memory allocation based on data transfer profiling. In: International conference on recent advances in mechatronics"},{"key":"39_CR38","doi-asserted-by":"crossref","unstructured":"Parkinson MF, Parameswaran S (1995) Profiling in the ASP codesign environment. In: Proceedings of the IEEE\/ACM 8th international symposium on system synthesis","DOI":"10.1145\/224486.224531"},{"key":"39_CR39","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/0743-7315(92)90017-H","volume":"16","author":"S Prakash","year":"1992","unstructured":"Prakash S, Parker AC (1992) SOS: synthesis of application-specific heterogeneous multiprocessor systems. J Parallel Distrib Comput 16:338\u2013351","journal-title":"J Parallel Distrib Comput"},{"key":"39_CR40","unstructured":"Qin S, He J (2000) An algebraic approach to hardware\/software partitioning. Technical Report 206, UNU\/IIST"},{"key":"39_CR41","unstructured":"Quan G, Hu X, Greenwood G (1999) Preference-driven hierarchical hardware\/software partitioning. In: Proceedings of the IEEE\/ACM international conference on computer design"},{"issue":"7","key":"39_CR42","doi-asserted-by":"crossref","first-page":"903","DOI":"10.1109\/12.392848","volume":"44","author":"YG Saab","year":"1995","unstructured":"Saab YG (1995) A fast and robust network bisection algorithm. IEEE Trans Comput 44(7):903\u2013913","journal-title":"IEEE Trans Comput"},{"key":"39_CR43","volume-title":"Theory of linear and integer programming","author":"A Schrijver","year":"1998","unstructured":"Schrijver A (1998) Theory of linear and integer programming. Wiley, New York"},{"key":"39_CR44","doi-asserted-by":"crossref","unstructured":"Srinivasan V, Radhakrishnan S, Vemuri R (1998) Hardware software partitioning with integrated hardware design space exploration. In: Proceedings of DATE","DOI":"10.1109\/DATE.1998.655833"},{"key":"39_CR45","doi-asserted-by":"crossref","unstructured":"Stitt G, Lysecky R, Vahid F (2003) Dynamic hardware\/software partitioning: a first approach. In: Proceedings of DAC","DOI":"10.1145\/775832.775896"},{"key":"39_CR46","doi-asserted-by":"crossref","unstructured":"Vahid F (1997) Modifying min-cut for hardware and software functional partitioning. In: Proceedings of the international workshop on hardware\u2013software codesign","DOI":"10.1109\/HSC.1997.584577"},{"issue":"3","key":"39_CR47","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1145\/567270.567273","volume":"7","author":"F Vahid","year":"2002","unstructured":"Vahid F (2002) Partitioning sequential programs for CAD using a three-step approach. ACM Trans Design Autom Electron Syst 7(3):413\u2013429","journal-title":"ACM Trans Design Autom Electron Syst"},{"key":"39_CR48","doi-asserted-by":"crossref","unstructured":"Vahid F, Gajski D (1995) Clustering for improved system-level functional partitioning. In: Proceedings of the 8th international symposium on system synthesis","DOI":"10.1145\/224486.224492"},{"key":"39_CR49","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1023\/A:1008836303344","volume":"2","author":"F Vahid","year":"1997","unstructured":"Vahid F, Le TD (1997) Extending the Kernighan\/Lin heuristic for hardware and software functional partitioning. Des Autom Embed Syst 2:237\u2013261","journal-title":"Des Autom Embed Syst"},{"issue":"2","key":"39_CR50","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1109\/92.585225","volume":"5","author":"W Wolf","year":"1997","unstructured":"Wolf W (1997) An architectural co-synthesis algorithm for distributed embedded computing systems. IEEE Trans VLSI Syst 5(2):218\u2013229","journal-title":"IEEE Trans VLSI Syst"},{"issue":"4","key":"39_CR51","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/MC.2003.1193227","volume":"36","author":"W Wolf","year":"2003","unstructured":"Wolf W (2003) A decade of hardware\/software codesign. IEEE Comput 36(4):38\u201343","journal-title":"IEEE Comput"},{"key":"39_CR52","doi-asserted-by":"crossref","unstructured":"W\u00fcrtz J, M\u00fcller T (1996) Constructive disjunction revisited. In: 20th German annual conference on artificial intelligence","DOI":"10.1007\/3-540-61708-6_78"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-007-0039-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-007-0039-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-007-0039-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T09:54:32Z","timestamp":1684058072000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-007-0039-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,5]]},"references-count":52,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,10,30]]}},"alternative-id":["39"],"URL":"https:\/\/doi.org\/10.1007\/s10703-007-0039-0","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,10,5]]}}}