Gaining confidence in how a system works is much easier for systems that are simple by design. Thus, we investigate ways to design hardware and software in a way that is so simple that they become easy to verify and analyse, e.g. wrt their performance.