Hardware Description and Verification

News and Updates

  • 2011-05-28 More good news: the final written exam has been graded, and everyone who took the exam passed. Remember that to pass the course you must complete (and pass) both labs. Note the final submission deadline of 2011-06-01 18:00.
  • 2011-05-25 The final deadline of both labs has been set to 2011-06-01 18:00. It will not be possible to submit after that.
  • 2011-05-25 Good news! The Lava take-home exam has been graded, and everyone passed.
  • 2011-05-19 A comment from Mary about the Lava take home exam and the drawing program supplied. Because of how the drawing program works, it is possible to correctly define parallel prefix networks (that pass the check function) but that do not draw correctly. This happens if you "throw away" some values in your program, so that information that gets gathered for the drawing program gets thrown away too. The prefix function can be correct and not get drawn correctly, particularly if its definition is over-complicated. If this happens, just ignore the picture and rely on check and on formal verification in an adder. Those results are definitive.
  • 2011-05-18 A brief study guide to help with preparing for the written exam is available.
  • 2011-05-16 Notes from the mid-course feedback meeting are now available.
  • 2011-05-16 NB: Mary has developed a severe chest infection and so will turn tomorrow's lecture about exam preparation into a text on the same subject (which might anyway be a better idea). This will be posted at the latest on wednesday. This means that there are no more lectures on the course. Please inform other students. Mary will have to reply to questions about the Lava take home exam by mail. Feel free to send mail!
  • 2011-05-16 The Lava labs are now marked and comments have been provided to you. I have set the final deadline for the lab to be May 27.
  • 2011-05-16 As the Lava exam is running this week, there won't be any lab assistance on Friday.
  • 2011-05-10 There will be no lecture today as Mary is not done with preparing the new Lava take home exam (which is supposed to be the subject of the lecture). There will be a lecture on friday instead. Apologies for the late notice. Please pass the information to your class mates. Don't forget Satnam Singh's lecture on wednesday morning!
  • 2011-04-18 Look on the Course Literature page for a list of useful resources for learning or relearning Haskell. If you have not seen Haskell before, you would be well advised to get started using Haskell before the lectures begin again.
  • 2011-04-15 URGENT: The computers are playing up. The deadline for the take home exam is hereby extended to monday April 18 at 23.59. Please spread this information to your course mates.
  • 2011-04-11 There is only one lecture this week. Because Mary is sick, it is being moved to friday. If you have problems during your take home exam (see the instructions), please contact Emil. There is a link to his home page, with email address, on the "About this Course" page.
  • 2011-03-25 We have added an outline testbench for lab 1 on the Assignments page.
  • 2011-03-25 Please go to the Assignments page and register on the fire lab submission system there. Let me know if it doesn't work.
  • 2011-03-25 I just found out that Emil Axelsson (the course assistant) is too sick to come to the lab today. So the supervised lab session that was planned for 08.00 will be moved to next week. Apologies for this. This reminds me that I need to know who you all are in order to be able to inform you when such problems arise. More about this after today's lecture.
  • 2011-03-24 The slides for tomorrow's lecture are now up. Don't forget to go to the lab at 08.00 tomorrow.
  • 2011-03-23 The first lab is now up on the Assignments page. We decided to leave it unchanged from last year. We are still thinking about whether or not to provide a partial solution to the testbench that you need to write. But you can get started on the lab now. We will make our decision tomorrow.
  • 2011-03-22 The first lecture was today. It is clear that the students are a mixed bunch (but that is usually the case). I have added the names of the two student representatives to the "Course" page. Don't forget tomorrow's lecture by Magnus Björk from Jasper. This is your chance to find out more about the verification tool you will be using and how it is used in real applications.
  • 2011-03-21 The slides for tomorrow's lecture are available on the schedule.
  • 2011-03-03 The course starts on Tuesday, March 22.
  • 2011-03-03 Starting to update the web pages for the 2011 edition of the course.
  • 2011-03-03 Mary Sheeran will be responsible for the course (kursansvarig) in 2011.
[ Home | News | Schedule | Literature | Assignments | Tools | Links | Course ] MS, May 2011