{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T00:06:18Z","timestamp":1780445178323,"version":"3.54.1"},"reference-count":112,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"Special Centennial Issue","license":[{"start":{"date-parts":[[2012,5,13]],"date-time":"2012-05-13T00:00:00Z","timestamp":1336867200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. IEEE"],"published-print":{"date-parts":[[2012,5,13]]},"DOI":"10.1109\/jproc.2011.2182009","type":"journal-article","created":{"date-parts":[[2012,3,23]],"date-time":"2012-03-23T12:33:06Z","timestamp":1332505986000},"page":"1411-1430","source":"Crossref","is-referenced-by-count":219,"title":["Hardware\/Software Codesign: The Past, the Present, and Predicting the Future"],"prefix":"10.1109","volume":"100","author":[{"given":"J\u00fcrgen","family":"Teich","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","year":"0","journal-title":"CyberWorkBench"},{"key":"ref38","year":"0"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.890107"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/1455229.1455230"},{"key":"ref31","year":"0"},{"key":"ref30","author":"lee","year":"2010","journal-title":"Introduction to embedded systemsA cyber-physical systems approach"},{"key":"ref37","author":"gajski","year":"1992","journal-title":"High-Level SynthesisIntroduction to Chip and System Design"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1983.1654264"},{"key":"ref35","first-page":"9","article-title":"Embedded system synthesis and optimization","author":"teich","year":"2000","journal-title":"Proc Workshop Syst Des Autom"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1146980"},{"key":"ref28","author":"teich","year":"2007","journal-title":"Digitale Hardware\/Software-Systeme Synthese und Optimierung"},{"key":"ref27","author":"marwedel","year":"2006","journal-title":"Embedded system design"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05356-6"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/43.898830"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.2010691"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/54.970421"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ISSS.1995.520608"},{"key":"ref23","first-page":"234","article-title":"Towards scalable system-level reliability analysis","author":"gla","year":"2010","journal-title":"Proc ACM\/EDAC\/IEEE Des Autom Conf"},{"key":"ref101","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2008.4484011"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1193227"},{"key":"ref100","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2005.104"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/EURDAC.1996.558213"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/1255456.1255461"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/1367045.1367048"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/5.97297"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4515-6"},{"key":"ref57","author":"grtker","year":"2002","journal-title":"System Design with SystemC"},{"key":"ref56","author":"buttazzo","year":"2004","journal-title":"Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications"},{"key":"ref55","author":"fitzpatrick","year":"2006","journal-title":"System Verilog for Verification"},{"key":"ref54","year":"0","journal-title":"IEEE Standard VHDL Language Reference Manual"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2009.934122"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"ref40","year":"0"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/2.179166"},{"key":"ref3","first-page":"5","article-title":"Special issue on hardware\/software codesign","volume":"10","author":"wolf","year":"1993","journal-title":"IEEE Des Test Comput"},{"key":"ref6","article-title":"Codes\/CASHE 92","year":"1992","journal-title":"Proc 1st IFIP Int Workshop Hardware\/Software Codesign"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/139669.140538"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/54.232470"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/1151074.1151077"},{"key":"ref7","year":"0"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/54.245964"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1155\/2008\/726096"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/1289816.1289823"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1193228"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1155\/2008\/647953"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2006.112"},{"key":"ref41","year":"0"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/1391469.1391615"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2026356"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.243843"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2004.828127"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1109\/4235.996017"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1145\/1878961.1878986"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024817"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.884487"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2008.4484040"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1145\/2039370.2039393"},{"key":"ref79","first-page":"471","article-title":"The semantics of a simple language for parallel programming","author":"kahn","year":"1974","journal-title":"Proc IFIP Congr"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/TASSP.1986.1164809"},{"key":"ref62","author":"schneider","year":"2009","journal-title":"The Synchronous Programming Language Quartz"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"ref63","first-page":"949","author":"baudisch","year":"2010","journal-title":"Design Automation and Test in Europe (DATE)"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/78.485935"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1145\/301177.301522"},{"key":"ref67","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/3-540-44743-1_5","article-title":"Design space exploration for massively parallel processor arrays","author":"hannig","year":"2001","journal-title":"Proc 6th Int Conf Parallel Comput Technol"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2005.860766"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/317825.317921"},{"key":"ref69","first-page":"19","article-title":"SPEA2: Improving the strength Pareto evolutionary algorithm for multiobjective optimization","author":"zitzler","year":"2002","journal-title":"Proc Evol Methods Des Optim Control"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2002.998399"},{"key":"ref109","year":"2010","journal-title":"Dynamically Reconfigurable SystemsArchitectures Design Methods and Applications"},{"key":"ref95","doi-asserted-by":"publisher","DOI":"10.1145\/2000367.2000372"},{"key":"ref108","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2003.1219003"},{"key":"ref94","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2011.5722188"},{"key":"ref107","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/s11265-006-0017-6","article-title":"The Erlangen Slot Machine: A dynamically reconfigurable FPGA-based computer","volume":"47","author":"majer","year":"2007","journal-title":"J VLSI Signal Process Syst"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090633"},{"key":"ref106","year":"0"},{"key":"ref92","doi-asserted-by":"publisher","DOI":"10.1145\/1450095.1450103"},{"key":"ref105","doi-asserted-by":"publisher","DOI":"10.1145\/2039370.2039384"},{"key":"ref91","doi-asserted-by":"publisher","DOI":"10.1145\/513829.513861"},{"key":"ref104","year":"0"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.1145\/996566.996764"},{"key":"ref103","article-title":"Unreliable yet useful—Reliability annotations for data in cyber-physical systems","author":"engel","year":"2011","journal-title":"Proc Workshop Software Lang Eng Cyber-Phys Syst"},{"key":"ref102","doi-asserted-by":"publisher","DOI":"10.1145\/1289816.1289873"},{"key":"ref111","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/978-1-4419-6460-1_11","author":"teich","year":"2011","journal-title":"Multiprocessor System-on-ChipHardware Design and Tool Integration"},{"key":"ref112","year":"0"},{"key":"ref110","doi-asserted-by":"publisher","DOI":"10.1007\/978-90-481-3485-4_11"},{"key":"ref98","first-page":"185","article-title":"Symbolic system level reliability analysis","author":"gla","year":"2010","journal-title":"Proc Int Conf Comput -Aided Des"},{"key":"ref99","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015047524985"},{"key":"ref96","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2005.110"},{"key":"ref97","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.1998.741584"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/54.587736"},{"key":"ref11","first-page":"690","article-title":"Compiled HW\/SW co-simulation","author":"ivojnovic","year":"1996","journal-title":"Proc 33rd Annu Conf Des Autom"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/54.679207"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/B978-155860702-6\/50048-X"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/B978-155860702-6\/50015-6"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2000.858698"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:20045088"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450084"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008899229802"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2008.4547699"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/HSC.1997.584597"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2012.6164943"},{"key":"ref19","article-title":"Platform-based design: A choice, not a panacea","author":"goering","year":"2002","journal-title":"EE Times"},{"key":"ref83","year":"2005","journal-title":"Embedded System Tools Reference ManualEmbedded Development Kit EDK 8 1ia"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1109\/92.931229"},{"key":"ref89","first-page":"256","article-title":"Automatic application-specific instruction-set extensions under microarchitectural constraints","author":"atasu","year":"2003","journal-title":"Proc 40th Annu Des Autom Conf"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.81"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35409-5_3"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1145\/301177.301492"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1145\/502217.502234"}],"container-title":["Proceedings of the IEEE"],"original-title":[],"link":[{"URL":"http:\/\/ieeexplore.ieee.org\/iel5\/5\/6259910\/06172642.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5\/6259910\/06172642.pdf?arnumber=6172642","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,21]],"date-time":"2024-04-21T22:43:56Z","timestamp":1713739436000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6172642\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5,13]]},"references-count":112,"journal-issue":{"issue":"Special Centennial Issue"},"URL":"https:\/\/doi.org\/10.1109\/jproc.2011.2182009","relation":{},"ISSN":["0018-9219","1558-2256"],"issn-type":[{"value":"0018-9219","type":"print"},{"value":"1558-2256","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,5,13]]}}}