2012-05-15 In case you're using the latest version of GHC (7.4.1), you've probably had problems compiling the files provided for the Lava exam. I've now updated the files so that they also work with the latest GHC.
2012-05-15 I've put up an example of an old written exam to give you a feeling of what the exam will cover. You are not allowed to bring any aids (but certain hints will be given in the text, as in the provided exam). You are expected to know basic PSL constructs by heart.
2012-05-11 The final deadline for lab 1 has been changed to May 25.
2012-05-11 There was a mistake on the schedule (now corrected). Wolfgang's guest lecture next week is on Wednesday at 10.00.
2012-05-11 The schedule has new material from today's lecture.
2012-05-10 The "final" deadline of lab 1 is tomorrow, but many of you are not done yet. For those of you who are still working on the VHDL and the testbench, here are some simplifications that can help you get done:
Leave the stopwatch code as it is (unless it's very wrong)
Make sure to write a good testbench that finds as many errors as possible (should be easy!)
Discuss the results in the report: What is wrong in the design? How could it be fixed?, etc.
At this stage, the main point is to show that you have learned something rather than to have a perfect result. I will extend the final deadline by at least a week. Will get back about that.
2012-05-04 The schedule has new material for today's lecture.
2012-05-03 Note: In the Lava lab, all your tests should be included as runnable code. For example, if you want to show that you have simulated binAdder for the input ([low],[high]), you can include the definition
test1 = simulate binAdder ([low],[high])
2012-05-03 Don't forget the final deadline of lab 1: May 11.
2012-04-27 The schedule has new slides for today's lecture.
2012-04-17 Due to the ongoing take-home exam, I will not answer questions about VHDL/PSL during the week. But feel free to ask questions about the tools, etc. I will stop by at the lab session on Friday just to see if anyone needs help with the tools.