Hardware Description and Verification TDA956, LP4, VT2008

Schedule 2008
Monday
13 - 15
Tuesday
13-15
Thursday
10 - 12
1.
31/3 - 4/4
no lecture. Course begins tomorrow!
Course Introduction in ES51
Course overview by MS, slides: pdf, pdf 2 per page
Intro. to industrial formal verification using JasperGold by ØK, slides: pdf
in ES51 by MS
Formal hardware verification (some key ideas), slides: pdf, pdf 2 per page
Read the paper by Hu and that by Seger (see April 14)
2.
7/4 - 11/4
in ES51 by MS
Specifying circuit properties I, slides: pdf, pdf 2 per page
in ES51 by MS
Specifying circuit properties II, slides: pdf, pdf 2 per page
in ES51 by MS
More about PSL, examples, common errors, slides: pdf, pdf 2 per page
3.
14/4- 18/4
in ES51 by CS
FV at Intel
See paper by Seger on Formal Hardware Verification
in ES51 by MS
Model Checking 1, slides: pdf, pdf 2 per page
No lecture
Read the six page paper Formal Hardware Verification with BDDs: An Introduction by Alan J. Hu
Lab Deadline I (friday April 18, 23:59)

4.
21/4 - 25/4
no lecture
in ES51 by MS
Model Checking 2, slides: pdf, pdf 2 per page
answers to exercises at end of lecture
in ES51 by MS
BMC and temporal induction, slides (revised 24 April to fix a typo): pdf, pdf 2 per page
Our paper on SAT-solving in practice
Exam Deadline I (friday April 25, 23:59)

5.
28/4 - 2/5
in ES51 by MS
Lava 1, slides: pdf, pdf 2 per page
Lecture1.hs
in ES51 by MS
Lava 2, slides: pdf, pdf 2 per page
1 May, no lecture

6.
5/5 - 9/5
in ES5 by MS
Lava 3, slides: pdf, pdf 2 per page

in 6225 by JS
Supervised Lab
in ES51 by WK
SoC Verification in practice, slides: pdf

7.
12/5 - 16/5
in ES51 by MS
Lava 4 + the bigger picture, slides: pdf, pdf 2 per page

in ES51 by SS
Compiling parallel programs into circuits, slides: pdf
in ES51 by EA/JS
Wired and Obsidian, slides: pdf, pdf 2 per page

Lab Deadline II (friday May 16, 23:59)

8.
19/5 - 23/5
in ES51
Discussion & exam prep. slides: pdf, pdf 2 per page
No lecture
No lecture

Exam Deadline II (friday May 23, 23:59)


Home | Schedule | Literature | Assignments | Tools | Links | Course M. Sheeran, E. Axelsson, J. Svensson March 4, 2008