Hardware Description and Verification 2010: News and Updates

News and Updates

2010-06-07 The final exam has now been graded, and I am happy to report that everyone passed! If you would like to review the grading, drop by my office (EDIT building room 6119) on Friday afternoon, or email me to arrange another time.
2010-05-20 The deadline for the Lava take home exam is changed to Saturday May 22, 23:59.
2010-05-18 Brief solutions to the written exam questions from 2009 are now available.
2010-05-16 The Lava take home exam is now available from the Assignments page. The deadline is Friday May 21, 23:59.
2010-05-16 The written exam from 2009 is now available. We will work on solutions to some of the questions on Tuesday. Also feel free to discuss the questions and post solutions in the discussion forum.
2010-05-04 The Tools page has been updated with instructions on how to run SMV (for formal verification of Lava circuits).
2010-05-03 A guest lecture by Kasyab P. Subramaniyan has been scheduled for Monday, May 17!
2010-05-03 The Lava Lab is now avaialble from the Assignments page. The deadline is on Friday next week. Note that since Thursday next week is a holiday (Ascension Day), there are no supervised labs scheduled next week, so try to make use of the lab sessions this week!
2010-04-27 Notes from the mid-course feedback meeting are now available.
2010-04-27 The Lava Tutorial is now available in PDF format. The links to the old PostScript version have been replaced.
2010-04-26 The Lava section on the Tools page and the Introduction to the Lava system page have been updated.
2010-04-22 Niklas Sörensson's slides from the lecture today are now available. Also note that the paper SAT-solving in practice contains a lot of the material covered in the lectures this week.
2010-04-19 The instructions for how to run ModelSim and Jasper Gold have changed again. It is now source .../setup instead of source .../setep.
2010-04-19 The VHDL/PSL take home exam is now available from the Assignments page. The deadline is Friday April 23, 23:59.
2010-04-16 Several groups have submitted solutions to the first lab, but apparently the Fire system requires groups to have two members. We will change this as soon as possible so that groups with one member will be allowed to submit too.
2010-04-08 The deadline for the first lab is only one week away, There is only two supervised lab sessions scheduled before then, just before the deadline, but Joel Svensson is also available to answer questions by email, and you can also drop by his room (5463) on Monday 10.00-11.45 and Tuesday 13.15-15.00 (i.e. on April 12 & 13).
2010-03-25 It seems that there has been some changes in what you have to do to start ModelSim and JasperGold on the Chalmers computers. See the updated tools page.
2010-03-23 If you want to get in touch with other students on the course (e.g. to find a lab partner), join the hdv-2010 google group and send a message there. (You don't need gmail to join, any email address will work.)
2010-03-18 The two student representatives for the course evaluation are: Nikita Frolov and Akshay Vijayashekar (akshay (at) student.chalmers.se)
2010-03-16 Lab sessions have now been added to time TimeEdit schedule. There are sessions in lab 3507 on most Thursdays and Fridays during the course.
2010-03-15 The course web pages are now in reasonable shape, but we will continue to update them during the course.
2010-03-12 The course starts on Tuesday, March 16. There will be no lecture on Monday, March 15.
2010-03-03 Starting to update the web pages for the 2010 edition of the course.
2009-12-18 Thomas Hallgren will be responsible for the course (kursansvarig) in 2010.
2009 News