A current-day system on a chip (SoC) consists of several different microprocessor subsystems together with memories and I/O interfaces. This course covers SoC design and modelling techniques with emphasis on architectural exploration, assertion-driven design and the concurrent development of hardware and embedded software. This is the ``front end'' of the design automation tool chain. (Back end material, such as design of individual gates, layout, routing and fabrication of silicon chips is not covered.)
HLS instead of ABD: This year, Formal Methods and Assertion-based design are not being lectured. Instead we will have a section on High-Level Synthesis. And, as per last year, the SystemC net-level facilities will not be lectured - we'll just do enough SystemC to cover TLM modelling.
| 1: (C) 2008-17, DJ Greaves, University of Cambridge, Computer Laboratory. |