include #include #include "types.h" int32_t matrice_data_input[22]; int32_t matrice_data_output[14]; uint16_t MatriceInterne[14][22]; void Matrice(void) { uint16_t i,k; int32_t accumulator; #pragma MUST_ITERATE(1,14 , 1) for(i=0;i<14;i++) { accumulator=0; #pragma MUST_ITERATE(1,21 , 1) for(k=0;k<22;k++) { if(MatriceInterne[i][k]==1) { accumulator += matrice_data_input[k]; } } matrice_data_output[i]= accumulator; } }