Downloads

Prospectus
Contact Us
Blog

Contact








Education

MSc Modules 2009/10 – Recommended Reading List

INTRODUCTION TO EMBEDDED SOFTWARE ENGINEERING

  • Darnell, P. et al. C: A Software Engineering Approach. Springer-Verlag, 1999.
  • Kernighan, B. and Ritchie, D. C Programming Language. Prentice-Hall, 1988.

INTRODUCTION TO HARDWARE DESIGN AUTOMATION

  • Ciletti, M. Modelling, synthesis and rapid prototyping with the Verilog HDL. Prentice Hall, 1999.

SYSTEM SPECIFICATION AND PARTITIONING

  • Gajski, D. et al. Specification and design of embedded systems. Prentice Hall, 1994.
  • Chang, H. et al. Surviving the SoC revolution. Kluwer, 1999.
  • Black, David. C. et al. SystemC: from the ground up. Kluwer, 2008.
  • Grötker, Thorsten. et al. System Design with SystemC. Kluwer, 2004.
  • Müller, Wolfgang. et al. SystemC: Methodologies and Applications. Kluwer, 2003.
  • Gerstlauer, A. et al. System design: a practical guide with SpecC. Kluwer, 2001.

DIGITAL SIGNAL PROCESSING

  • McClellan, James. H., Schafer, Ronald. W., Yoder, Mark. A. DSP First: A Multimedia Approach, Prentice Hall, 1998. ISBN: 0-13-243171-8.
  • Oppenheim, Alan., Schaefer, Ronald. and Buck, John. Discrete-Time Signal Processing (International Edition) (Paperback), Prentice Hall.

HARDWARE IMPLEMENTATION

  • Rabaey, J. M. Digital Integrated Circuits: a Design perspective. Prentice Hall, 1996, ISBN: X-13-1786090-1.
  • John, M. and Smith, S. Application-Specific Integrated Circuits. Addison Wesley, ISBN: 0-20150022-1.
  • DeMicheli, G. Synthesis and Optimisation of Digital Circuits. McGrawHill, ISBN: X-07-016333-2.
  • Smith, D.G. HDL Chip Design: A Practical Guide for designing, synthesizing, and simulating ASICs and FPGAs using Verilog and VHDL. Doone publications, ISBN: 0-9651934-3-8.
  • Palnitkar, S. Verilog HDL: A Guide to Digital Design and Synthesis. Prentice Hall, ISBN: X-13-451675-3.
  • Ashenden, P. J. The Designers Guide to VHDL. Morgan Kaufman, ISBN: X-55860-270-4.

SYSTEM LEVEL INTEGRATION

  • Bricaud, P. and Keating, M. Reuse methodology manual for system-on-a-chip designs. Kluwer, 2003.
  • Kurup, P. et al. It’s the methodology, stupid! Bytek Designs, 1998.
  • Nekoogar, F. Timing verification of ASICs. Prentice Hall, 1999.
  • Seepold, R. and Kunzmann, A. Reuse techniques for VLSI design. Kluwer, 1999.
  • Chang, H. et al. Surviving the SoC revolution: a guide to platform-based design. Kluwer, 1999.

VERIFICATION AND TEST I

  • Bergeron, J. Writing Testbenches: Functional Verification of HDL Models. Kluwer, 2nd Edition, 2003. ISBN: 1-4020-7401-8.
  • Nekoogar, F. Timing Verification of Application-Specific Integrated Circuits (ASICs). Prentice Hall, 1999. ISBN: 978-0-13794-348-7.
  • Bushnell and Agrawal. Essentials of Electronic Testing for Digital, Memory and Mixed Signal VLSI Circuits. Kluwer, 3rd printing, 2004. ISBN 0-7923-7991-8.
  • Edited by Hurst, S. L. VLSI Testing: digital and mixed analogue/digital techniques. IET Publishing, 1997. ISBN: 0-85296-901-5 and 978-0-85296-901-4.

EMBEDDED OPERATING SYSTEMS

  • Simon, D. E. An embedded software primer. Addison Wesley, 1999.
  • Massa, A. Embedded Software Development with eCos. Prentice Hall, 2002.
  • Burns, A. et al. Real-time systems and programming languages: Ada 95, real-time Java and real-time POSIX. Addison Wesley, 2001.
  • Barr and Oram. Programming embedded systems in C and C++. O’Reilly, 1999.
  • Proakis and Manolakis. Digital signal processing: principles, algorithms and applications. Prentice Hall, 1998.

FPGAs FOR DSP AND COMMUNICATIONS

A comprehensive set of course lecture notes (1,000 slides) and a step-by-step FPGA labbook for DSP.

Selected Reading will be from technical papers, and application notes of the main FPGA vendors.

DSP FOR COMMUNICATIONS

  • Sklar, B. Digital Communications. Prentice Hall, 2001.
  • Glover, I. A. and Grant, P. Digital Communications. Pearson Education, 2004.
  • Widrow, B. and Stearns, S. D. Adaptive Signal Processing. Prentice Hall, 1985.
  • Haykin, S. Adaptive Filter Theory. Prentice Hall, 3rd edition 1991 (or later editions).
  • Hanzo, L. OFDM and MC-CDMA. IEEE Press, 2003.

SENSOR NETWORKS

There are currently no textbooks available for the Tiny* software. Students will be provided with links to tutorials, FAQ’s, and research papers that discuss the various aspects of the system. The TinyOS Community Forum should also be consulted.

EMBEDDED NETWORKING

  • Tanenbaum, A. Computer Networks. Prentice Hall, 2003.
  • Wong, C. HTTP Pocket Reference: Hypertext Transfer Protocol. O’Reilly, 2000.
  • Ray, E. Learning XML. O’Reilly, 2001.
  • Musciano, C. and W. Kennedy. HTML and XHTML: The Definitive Guide. O’Reilly, 2000.

COMMUNICATION NETWORKS AND MULTI-MEDIA PRINCIPLES

  • Irvine, J. and Harle, D. Data Communications and Networks: An Engineering Approach. Wiley, ISBN: 0-471-808725.
  • Goleniewski, L. Telecommunications Essentials. Addison Wesley, ISBN: 0201760320.
  • Kurose, J. and Ross, K. Computer Networking. Addison Wesley, ISBN: 0-201-477711-4.
  • Naughton, J. A Brief History of the Future: Origins of the Internet. ISBN: 075381093X.
  • Ghanbari, M. Standard Codecs: Image Compression to Advanced Video Coding. IEE Publishing, ISBN: 0 85296 710 1.

MICROCONTROLLERS AND MICROPROCESSORS

  • Hennessy, J. and Patterson, D. Computer architecture: a quantitative approach. Morgan Kaufmann, 2003.
  • Flynn, M. Computer architecture: pipelined and parallel processor design. Jones and Bartlett, 1995.

ANALOGUE AND MIXED SIGNAL DESIGN

  • Allen, P. and Holberg, D. CMOS analogue circuit design. Oxford University Press, 2002.
  • Laker, K. and Sansen, W. Design of analogue ICs and systems. McGraw Hill, 1994.

VERIFICATION AND TEST II

  • Lam, W. K. Hardware Design Verification: Simulation and Formal Method-Based Approaches. Prentice Hall, 2005. ISBN: 978-0-13143-347-2.
  • Spear, C. SystemVerilog for Verification: A Guide to Learning the Testbench Language Features (2nd Edition). Springer, 2008. ISBN: 978-0-387-76529-7.
  • Bergeron, J. Verification Methodology Manual for SystemVerilog. Springer, 2005. ISBN: 0-387-25538-9.
  • Bushnell and Agrawal. Essentials of Electronic Testing for Digital, Memory and Mixed Signal VLSI Circuits. Kluwer, 3rd printing, 2004. ISBN: 0-7923-7991-8.
  • Crouch, A. L. Design for Test for Digital ICs and Embedded Core Systems. Prentice Hall, 2nd printing, 2000. ISBN: 0-13-084827-1.

back to top