Microcontroller - 8051, 8052, OpCodes, Analog Interface.

Friday, September 12, 2008

Mike Gordon - The University of Cambridge

Mike Gordon - The University of Cambridge
  • Verilog HDL and semantics of a small subset
  • Specification and Verification
  • Introduction to Functional Programming
  • Formal Specification Verification of ARM6