CPRE 584X: Models and Techniques in Embedded Systems

Lectures

Class Wiki

Final Class mini-Projects

Reference Material

Xilinx Embedded Development Kit (EDK)

• EDK 10.1 Reference Manual
  
• Virtex 5 PowerPC 440 core User Guide
  
• IBM PowerPC 440 User Manual
  
• Platform Specification Format
  
• ISE 10.1 Tutorial
  
• Adding a Peripheral to an EDK project
  

MemCODE Design Contest

• 2008 contest
  
• 2008 reference design (targets a PPC405)
  
• 2009 contest
  
• 2009 results summary
  
• 2010 contest
  
• 2010 results summary