Componentizing hardware/software interface design
暂无分享,去创建一个
Fei Xie | Kecheng Hao | Fei Xie | K. Hao
[1] Rajesh Gupta,et al. Hardware/software co-design , 1996, Proc. IEEE.
[2] Guowu Yang,et al. Component-based hardware/software co-verification for building trustworthy embedded systems , 2007, J. Syst. Softw..
[3] Jianwen Zhu,et al. Specification and Design of Embedded Systems , 1998, Informationstechnik Tech. Inform..
[4] Luciano Lavagno,et al. Hardware-software co-design of embedded systems: the POLIS approach , 1997 .
[5] David E. Culler,et al. The nesC language: A holistic approach to networked embedded systems , 2003, PLDI.
[6] Alessandro Forin,et al. Giano: The Two-Headed System Simulator , 2006 .
[7] Frank Ghenassia,et al. Transaction Level Modeling with SystemC , 2005 .
[8] Edward A. Lee,et al. Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems , 2001, Int. J. Comput. Simul..
[9] Diederik Verkest,et al. Combining software synthesis and hardware/software interface generation to meet hard real-time constraints , 1999, Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078).
[10] Fei Xie,et al. Unified Property Specification for Hardware/Software Co-Verification , 2007, 31st Annual International Computer Software and Applications Conference (COMPSAC 2007).
[11] Frank Ghenassia. Transaction-Level Modeling with SystemC: TLM Concepts and Applications for Embedded Systems , 2010 .
[12] Wayne H. Wolf. A Decade of Hardware/Software Codesign , 2003, Computer.
[13] Matt Welsh,et al. Sensor networks for medical care , 2005, SenSys '05.
[14] Robert Szewczyk,et al. System architecture directions for networked sensors , 2000, ASPLOS IX.
[15] Robert Günzel,et al. Embedded software development on top of transaction-level models , 2007, 2007 5th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).