RISC-KIT synthesis report