Hardware Description and Verification
News and Updates
The final exam has now been graded, and I am happy to report that
If you would like to review the grading, drop by my office (EDIT building
room 6119) on Friday afternoon, or email
to arrange another time.
The deadline for the Lava take home exam is changed to
Saturday May 22, 23:59.
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.
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.
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
has been scheduled for Monday, May 17!
The Lava Lab is now avaialble from the
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!
Notes from the mid-course feedback
meeting are now available.
The Lava Tutorial is now available
in PDF format. The links to the
old PostScript version
have been replaced.
The Lava section on the Tools page and the
Introduction to the Lava system page
have been updated.
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
- 2010-04-19 The VHDL/PSL take home exam is now available from the
Assignments page. The deadline is
Friday April 23, 23:59.
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
Svensson is also available to answer questions
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).
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.)
The two student representatives for the course evaluation are:
Nikita Frolov and
Akshay Vijayashekar (
akshay (at) student.chalmers.se)
Lab sessions have now been added to time
are sessions in lab 3507 on most Thursdays and Fridays during the course.
The course web pages are now in reasonable shape,
but we will continue to update them during the course.
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