15 lines
497 B
Coq
15 lines
497 B
Coq
|
module Part3 (SW,LEDR);
|
||
|
|
input [9:0]SW;
|
||
|
|
output [9:0]LEDR;
|
||
|
|
wire [1:0] S, U, V, W, X, M;
|
||
|
|
wire S[1:0] = U_v, W_X;
|
||
|
|
assign U=SW[1:0];
|
||
|
|
assign V=SW[3:2];
|
||
|
|
assign W=SW[5:4];
|
||
|
|
assign X=SW[4:6];
|
||
|
|
assign U_V[0]=(~S[0] & U[0])|(~S[0] & V[0]);
|
||
|
|
assign U_V[1]=(~S[0] & U[1])|(~S[0] & V[1]);
|
||
|
|
assign W_X[0]=(~S[0] & W[0])|(~S[0] & X[0]);
|
||
|
|
assign W_X[1]=(~S[0] & W[1])|(~S[0] & X[1]);
|
||
|
|
assign M[0]=(~S[0] & U_V[0])|(~S[0] & W_X[0]);
|
||
|
|
assign M[1]=(~S[1] & U_V[1])|(~S[1] & W_X[1]);
|