Main research

Tools for the development of embedded applications
- Instruction set modelling and architecture simulation
- Target debugger for embedded systems

Heterogenios and highly parallel computing
- Applikations specific acceleration kernel for GPUs and FPGAs
- Heterogenious system integration with loose (PCIe, GbEth) and
  closely (Zynq, FPGA SoC) coupled accelerators
- Runtime reconfiguration and user isolation

Highly efficient reusable digital design components
- PoC-library: arithmetic, data structures, controller

Alternative attempts to hardware synthesis
- Automated carry chain mapping
- Formal kernel synthesis with QBF solver
- High level synthesis