Да, SALU должен быть как ALU_S1 or ALU_S3. Сигнал SALU управляет функцией ALU, просто немножко раньше случается конфигурация, результат фиксируется все равно в конце (то есть по ALU_S3), поэтому логической ошибки нет. В синхронных моделях сигнала SALU вообще нет, но поправить стоит, да.