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