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