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

delabs Technologies