Alexander Fedotov promotor: prof.dr. Jan Friso Groote (TU/e) co-promotor: dr.ir. Jeroen J.A. Keiren (TU/e) Eindhoven University of Technology Date: 11 January, 2022 Thesis: PDF Summary Computers and related hardware are essential in the modern world. It is crucial that new hardware functions correctly. Conventionally, validation of new hardware designs is …