The slides from Slides from Wolfgang Kunz's lecture today are now available:
http://www.cse.chalmers.se/edu/course/TDA956/Slides/FV_SoC_Kunz.pdf
Thomas H