Embedded Processor

Microcontroller or uC, SoC. ASIC Design and EDA Tools. FPGA and DSP. SBC to Industrial Computers. Part of delabs Technologies

Search This Blog

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

No comments:

Post a Comment