The Institute for Complex Systems (ICS) targets the ever-increasing complexity of hardware/software systems. In this regard, the institute looks at suitable abstraction levels, such as Virtual Prototypes (VPs) in SystemC for HW/SW systems at the Electronic System Level (ESL), HW designs in Verilog/VHDL at the Register Transfer Level (RTL), down to the gate-level. Our primary research areas include verification, debugging, synthesis, as well as all of the major problem areas in Electronic Design Automation (EDA). We strongly apply RISC-V ISA in our research (see, for example, our open-source RISC-V VP).