D. D. Gajski, S. Abdi, A. Gerstlauer, and G. Schirner, Embedded System Design: Modeling, Synthesis, Verification, Springer, ISBN 978-1-4419-0503-1, July 2009.
W. Ecker, W. Mueller, R. Doemer, Hardware-dependent Software – Principles and Practice. Springer, Boston, January 2009.
Sudeep Pasricha, Nikil Dutt. On-Chip Communication Architectures: System on Chip Interconnect. Morgan Kaufmann, Systems on Silicon Series 2008.
Frank Vahid and Roman Lysecky, VHDL for Digital Design, WIley, ISBN 978-0470052631, March 2007.
Prabhat Mishra and Nikil D. Dutt, Functional Verification of Programmable Embedded Architectures: A Top-Down Approach, ISBN 978-0-387-26143-0, 2005.