I am researching the explainability of digital systems within the scope of the research training group CAUSE. My main focus is the hardware design based on virtual prototypes. Expanding this design flow for systems with self-explaining capabilites requires the analysis of the required information and their representation. I am further working on the formal verification of the produced explanations.