ALU логики управления уравнение на процессоре MIPS

Question

Читаю на процессорах MIPS, я пытаюсь понять вау они получают логическое уравнение (схема или второй рисунок) из этой таблицы

истины, например, для ALU0, я understant х смысл и понять, как они получают эту небольшую таблицу:

ALUOp | Funct  || ALU 
1 0 | 5 4 3 2 1 0 || 2 1 0 
------+--------------++------------ 
1 x | x x 0 1 0 1 || 0 0 1 
1 x | x x 1 0 1 0 || 1 1 1 

но теперь возникает вопрос: как же они получают это логическое уравнение ALU я ??? :

ALU 0 = ALUOp1 (F0 + F3) 

ALU 1= UALOp1\ + F2\ 

ALU 2 = ALUOp0 + ALUOp1.F1 

таблица истинности

схема

Answer 1

Вы можете сделать логику вашими глазами:

1. Для ALU_0: вы видите последние 2 строки только в , требуется ALUOp быть 1, Fun (5) и Fun (4) постоянны как 10 в e 2 ряда, поэтому они не заботятся. Другие Fun (3) to Fun (0) - 0101 и 1010, таким образом Fun (3) ИЛИ Fun (0) является достаточным.
2. Для ALU_2: они являются единицами в третьей, пятой и восьмой строках. Для третьего ALuop (0) достаточно, для двух других вы обнаружите, что {ALUop (1)} AND {Fun (1)} должны быть такими. таким образом, окончательное уравнение верно.