References
- 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
- 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
- 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 https://doi.org/10.1016/0141-9331(95)01073-4
- 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
- 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
- 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
- F. Balarin, A. Jurecska, and H. Hsieh et al, 'Hardware-Software Co-Design of Embedded System: the Polis Approach', Kluwer Academic Press, Boston, 1997
- Stephen A. Edwards, 'SHIM: A language for Hardware/Software Integration,' Synchronous Languages, Applications, and Programming (SLAP), 2005
- Berry, G. and G. Gonthier, 'The Esterel synchronous programming language: Design, semantics, implementation,' Science of Computer Programming 19, pp. 87-152 https://doi.org/10.1016/0167-6423(92)90005-V
- 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 https://doi.org/10.1109/TSE.2004.22
- Hanback electronics homepage, http://www.hanback.co.kr
- Interface Description Language grammar, http://pllab.kaist.ac.kr/~chson/HIL/grammar.html
Cited by
- Development of Embedded Robot Controller for Shipbuilding vol.41, pp.2, 2008, https://doi.org/10.3182/20080706-5-KR-1001.00886