2010 course home page.
(090622) A simple
statistical summary of the exam results
is now available.
(090517) The Lava take home exam
is now available. The deadline is Friday May 22, 23:59:59.
(090514) The slides from the presentations of Obsidian
and Wired by Joel Svensson and Emil Axelsson are now
The slides from Satnam Singh's lecture are now available:
The slides from Wolfgang Kunz's lecture today are now available:
pdf 2 per page.
Notes from the mid-course
feedback meeting are now available. A standardized, online,
anonymous course evaluation questionaire will be open from May
18 to June 3.
(090427) Slides for the lecture tomorrow (Tuesday, April 28)
are now available from the Schedule page.
(090427) The Lava Lab for 2009 is now available from the
Assignments page. The exercises are
the same as last year, I just updated the deadline and added a
sentence about carry-save numbers.
(090420) The written
exam from 2008 is now available. I don't have any solutions,
but feel free to discuss the questions and post solutions
(090420) The VHDL take home exam is now available from the
Assignments page. The deadline is
Friday April 24, 23:59:59.
(090401) The simple model checker in Haskell
that I presented in the lecture yesterday is now available.
(090326) The slides Magnus Björk used in his lecture today
are now available (pdf).
(090323) I need the names of two student representatives
for the course evaluation by Thursday. I know someone volunteered
during the first lecture, but I didn't write down your name.
Please send me an email (hallgren at chalmers dot se)!
(090323) There will be no lecture on Tuesday, March 24.
(We covered everything during the Monday lecture).
Magnus Björk will give a third lecture on PSL on Thursday, as planned.
(090320) Correction on the page on
Accessing the tools:
you can use the computers remoteX.student.chalmers.se
(where X=1,2,3,4 or 5), not remote.chalmers.se.
(090320) There is now a google group for the course:
(090317) The slides Øystein Kolsrud used in the lecture
yesterday are now available
(090316) There is now a link from
the student portal page
to the course home page.
(090309) The first lecture is on Monday, March 16 at 13.15 in EB.
Hallgren will be responsible for the course
(kursansvarig) this year.