5EIB0 (2020-3) Computation II: embedded system design