Manuals and Datasheets

  1. APB3 Protocol Specifications
  2. ARMv7 Architecture Reference Manual
  3. ARM Cortex-M3 Technical Reference Manual v2.1
  4. Floating point emulation in software
  5. ARM and Thumb-2 Instruction Set Quick Reference Card
  6. ARM Architecture Procedure Call Standard (EABI)
  7. ARM Cortex-M3 Embedded Software Development (AN-179)
  8. Actel SmartFusion MSS User Guide
  9. Actel SmartFusion Analog User Guide
  10. Actel A2F Eval Kit User Guide
  11. CodeSourcery Getting Started
  12. GNU Assembler
  13. GNU Compiler
  14. GNU Linker
  15. GNU Debugger
  16. GNU Binary Utilities
  17. SmartFusion SoC FPGA Fabric User’s Guide
  18. Nested Vectored Interrupt Controller
  19. AMBA APB Protocol Specification
  20. EECS 270 Verilog Combinational Logic Reference
  21. EECS 270 Verilog Sequential Logic Reference
  22. “DC–DC Converters: A Primer,” Jaycar Electronics Technical Report, 2001.
  23. D. Brooks, R. P. Dick, R. Joseph, and L. Shang, “Power, thermal, and reliability modeling in nanometer-scale microprocessors,” IEEE Micro, pp. 49–62, May 2007.
  24. L. Shang and R. P. Dick, “Thermal crisis: challenges and potential solutions,” IEEE Potentials, vol. 25, no. 5, pp. 31–35, Sept. 2006.



This class does not use any textbook. That said, there are some good books out there that cover some interesting ways of looking at the topic area. One of them that I like has the wonderful advantage of being free: E. A. Lee and S. A. Seshia, Introduction to Embedded Systems - A Cyber-Physical Systems Approach,, 2017. It can be found at The text is, on the whole, at a higher-level than we'll generally work at. But parts are useful to us and the rest is worth scanning just to get an idea about what "embedded systems" means to others.