1 |
Ernst, R., Henkel, T. Benner, W. Ye, U. Holtmann, D. Herrmann and M. Trawny, 'The COSYMA environment for hardware/software cosynthesis of small embedded systems,' Microprocessors and Microsystems 20, 1996, pp. 159-166
DOI
ScienceOn
|
2 |
Bolsens, I., H. J. De Man, B. Lin, K. Van Rompaey, S. Vercauteren and D. Verkest, 'Hardware/software codesign of digital telecommunication systems,' Proceedings of the IEEE 85, 1997, pp. 391-418
|
3 |
Cristiano C. de Araujo, and Edna Barros, 'Interface Generation for Concurrent Processes during Hardware/Software Co-synthesis,' Proceedings of the 15th Symposium on Integrated Circuits and Systems Design, 2002
|
4 |
Choonho Son, Jeong-Han Yun, Hyun-Goo Kang, and Taisook Han, 'Hardware/Software Interface Generation for Embedded System using Hardware Interface Automata,' Proceedings of the 4th International Conference on Asian Language Processing and Information Technology, Bangkok, Thailand, 2005
|
5 |
Ismail, T. B., Abid and A. Jerraya, 'COSMOS: A codesign approach for communicating systems,' Proceedings of the 3rd International Workshop on Hardware/software Co-Design, Grenoble, France, 1994, pp. 17-24
|
6 |
P. Chou, R. Ortega, and G. Borriello, 'Interface cosynthesis techniques for embedded systems,' Proceedings of the IEEE/ACM International Conference on CAD (ICCAD), 1995, pp 280-287
|
7 |
F. Balarin, A. Jurecska, and H. Hsieh et al, 'Hardware-Software Co-Design of Embedded System: the Polis Approach', Kluwer Academic Press, Boston, 1997
|
8 |
Berry, G. and G. Gonthier, 'The Esterel synchronous programming language: Design, semantics, implementation,' Science of Computer Programming 19, pp. 87-152
DOI
ScienceOn
|
9 |
Hanback electronics homepage, http://www.hanback.co.kr
|
10 |
Interface Description Language grammar, http://pllab.kaist.ac.kr/~chson/HIL/grammar.html
|
11 |
Stephen A. Edwards, 'SHIM: A language for Hardware/Software Integration,' Synchronous Languages, Applications, and Programming (SLAP), 2005
|
12 |
Sagar Chaki, Edmund Clarke, Alex Groce, Somesh Jah, and Helmut Veith, 'Modular Verification of Software Components in C,' Transactions on Software Engineering (TSE), Vol. 30(6), pp 388-402, June 2004
DOI
ScienceOn
|