Publications on Hardware and Software Synthesis

[1] G. H. Blindell, C. Menne, and I. Sander. Languages, Design Methods, and Tools for Electronic System Design, chapter Synthesizing Code for GPGPUs from Abstract Formal Models, pages 115--134. Springer, 2016. [ bib ]
synthesis
[2] S. H. Attarzadeh Niaki, M. Mikulcak, and I. Sander. Languages, Design Methods, and Tools for Electronic System Design, chapter Automatic Generation of Virtual Prototypes from Platform Templates, pages 147--166. Springer, 2015. [ bib ]
synthesis
[3] G. H. Blindell, C. Menne, and I. Sander. Synthesizing code for GPGPUs from abstract formal models. In Forum on Specification and Design Languages (FDL 2014), Munich, Germany, Oct. 2014. [ bib | DOI ]
synthesis
[4] G. Ungureanu. Automatic software synthesis from high-level forsyde models targeting massively parallel processors. Master's thesis, KTH, School of Information and Communication Technology (ICT), 2013. [ bib ]
design flow, synthesis
[5] M. Mikulcak. Development of a predictable hardware architecture template and integration into an automated system design flow. Master's thesis, KTH, School of Information and Communication Technology (ICT), 2013. [ bib ]
design flow, synthesis
[6] E. Altinel. A design flow for predictable composable systems. Master's thesis, KTH, School of Information and Communication Technology (ICT), 2013. [ bib ]
design flow, synthesis
[7] G. Hjort Blindell. Synthesizing software from a forsyde model targeting GPGPUs, 2012. [ bib ]
design flow, synthesis
[8] A. Acosta. Hardware synthesis in ForSyDe. Master's thesis, School for Information and Communication Technology, Royal Institute of Technology (KTH), Stockholm, Sweden, 2007. KTH/ICT/ECS-2007-81. [ bib | .pdf ]
design flow, synthesis
[9] I. Sander. System Modeling and Design Refinement in ForSyDe. PhD thesis, Royal Institute of Technology, Stockholm, Sweden, April 2003. [ bib | .pdf ]
design flow, modeling, refinement, synthesis
[10] Z. Lu, I. Sander, and A. Jantsch. A case study of hardware and software synthesis in ForSyDe. In Proceedings of the 15th International Symposium on System Synthesis, pages 86--91, Kyoto, Japan, October 2002. [ bib | DOI ]
design flow, synthesis
[11] I. Sander and A. Jantsch. System synthesis utilizing a layered functional model. In Proceedings Seventh International Workshop on Hardware/Software Codesign, pages 136--140, Rome, Italy, May 1999. ACM Press. [ bib | DOI ]
design flow, synthesis
[12] I. Sander and A. Jantsch. System synthesis based on a formal computational model and skeletons. In Proceedings IEEE Workshop on VLSI'99, pages 32--39, Orlando, Florida, USA, April 1999. IEEE Computer Society. [ bib | DOI ]
design flow, synthesis