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

Embedded Systems

Embedded Systems
Microcontroller. PIC Micro, AVR, ARM, ASIC, SoC, DSP, FPGA. Microelectronics.

Interesting Posts

Search This Blog