Course pages 2015–16
This year we will not cover the SystemC language details or go into depth regarding SystemC for net-level RTL modelling. We will refer to it for high-level ESL modelling.
Instead, this year, a few further/extra slides on Chisel, High-level Synthesis and formal methods have been added.
PDF Lecture Notes
Lecture Notes PDF.