Introduction to Hardware-dependent Software design
暂无分享,去创建一个
[1] Wolfgang Ecker,et al. Hardware-dependent Software , 2009 .
[2] Tales Heimfarth,et al. Basic Concepts of Real Time Operating Systems , 2009 .
[3] Wolfgang Ecker,et al. TLM+ modeling of embedded HW/SW systems , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).
[4] G.E. Moore,et al. Cramming More Components Onto Integrated Circuits , 1998, Proceedings of the IEEE.
[5] Wolfgang Ecker,et al. Hardware-dependent Software: Principles and Practice , 2009 .
[6] Andrew B. Kahng,et al. A power-constrained MPU roadmap for the International Technology Roadmap for Semiconductors (ITRS) , 2009, 2009 International SoC Design Conference (ISOCC).
[7] Wolfgang Ecker,et al. Model reduction techniques for the formal verification of hardware dependent software , 2010, 2010 IEEE International High Level Design Validation and Test Workshop (HLDVT).
[8] Andreas Gerstlauer,et al. Automatic generation of hardware dependent software for MPSoCs from abstract system specifications , 2008, 2008 Asia and South Pacific Design Automation Conference.
[9] Wolfgang Ecker,et al. HW/SW Interface , 2009 .
[10] Brian Bailey,et al. Taxonomies for the Development and Verification of Digital Systems , 2010 .