Patmos is a time-predictable VLIW processor, and the processor for the T-CREST project