);\r
assign Y = I;\r
\r
- specify\r
- (I => Y) = (0:0:0, 0:0:0);\r
- endspecify\r
endmodule\r
\r
\r
);\r
assign O = A;\r
\r
- specify\r
- (A => O) = (0:0:0, 0:0:0);\r
- endspecify\r
endmodule\r
\r
\r
);\r
assign O = T ? 1'bz : A;\r
\r
- specify\r
- (A => O) = (0:0:0, 0:0:0);\r
- (T => O) = (0:0:0, 0:0:0);\r
- endspecify\r
endmodule\r
\r
\r
assign IO = T ? 1'bz : A;\r
assign Y = IO;\r
\r
- specify\r
- (A => Y) = (0:0:0, 0:0:0);\r
- (T => Y) = (0:0:0, 0:0:0);\r
- endspecify\r
endmodule\r
\r
\r
);\r
assign Y = IP;\r
\r
- specify\r
- (IP => Y) = (0:0:0, 0:0:0);\r
- (IN => Y) = (0:0:0, 0:0:0);\r
- endspecify\r
endmodule\r
\r
\r
assign OP = A;\r
assign ON = ~A;\r
\r
- specify\r
- (A => OP) = (0:0:0, 0:0:0);\r
- (A => ON) = (0:0:0, 0:0:0);\r
- endspecify\r
endmodule\r
\r
\r
assign OP = T ? 1'bz : A;\r
assign ON = T ? 1'bz : ~A;\r
\r
- specify\r
- (A => OP) = (0:0:0, 0:0:0);\r
- (A => OP) = (0:0:0, 0:0:0);\r
- (A => ON) = (0:0:0, 0:0:0);\r
- (A => ON) = (0:0:0, 0:0:0);\r
- endspecify\r
endmodule\r
\r
\r
assign ION = T ? 1'bz : ~A;\r
assign Y = IOP;\r
\r
- specify\r
- (A => Y) = (0:0:0, 0:0:0);\r
- (A => IOP) = (0:0:0, 0:0:0);\r
- (A => ION) = (0:0:0, 0:0:0);\r
- (T => Y) = (0:0:0, 0:0:0);\r
- (T => IOP) = (0:0:0, 0:0:0);\r
- (T => ION) = (0:0:0, 0:0:0);\r
- (IOP => Y) = (0:0:0, 0:0:0);\r
- (ION => Y) = (0:0:0, 0:0:0);\r
- endspecify\r
endmodule\r
\r
\r
\r
assign O = I0 ? INIT[1] : INIT[0];\r
\r
- specify\r
- (I0 => O) = (0:0:0, 0:0:0);\r
- endspecify\r
endmodule\r
\r
\r
wire [1:0] s1 = I1 ? INIT[3:2] : INIT[1:0];\r
assign O = I0 ? s1[1] : s1[0];\r
\r
- specify\r
- (I0 => O) = (0:0:0, 0:0:0);\r
- (I1 => O) = (0:0:0, 0:0:0);\r
- endspecify\r
endmodule\r
\r
\r
wire [1:0] s1 = I1 ? s2[3:2] : s2[1:0];\r
assign O = I0 ? s1[1] : s1[0];\r
\r
- specify\r
- (I0 => O) = (0:0:0, 0:0:0);\r
- (I1 => O) = (0:0:0, 0:0:0);\r
- (I2 => O) = (0:0:0, 0:0:0);\r
- endspecify\r
endmodule\r
\r
\r
wire [1:0] s1 = I1 ? s2[3:2] : s2[1:0];\r
assign O = I0 ? s1[1] : s1[0];\r
\r
- specify\r
- (I0 => O) = (0:0:0, 0:0:0);\r
- (I1 => O) = (0:0:0, 0:0:0);\r
- (I2 => O) = (0:0:0, 0:0:0);\r
- (I3 => O) = (0:0:0, 0:0:0);\r
- endspecify\r
endmodule\r
\r
\r
);\r
assign Y = S0 ? D1 : D0;\r
\r
- specify\r
- (D0 => Y) = (0:0:0, 0:0:0);\r
- (D1 => Y) = (0:0:0, 0:0:0);\r
- (S0 => Y) = (0:0:0, 0:0:0);\r
- endspecify\r
endmodule\r
\r
\r
assign Y = S1 ? (S0 ? D3 : D2) :\r
(S0 ? D1 : D0);\r
\r
- specify\r
- (D0 => Y) = (0:0:0, 0:0:0);\r
- (D1 => Y) = (0:0:0, 0:0:0);\r
- (D2 => Y) = (0:0:0, 0:0:0);\r
- (D3 => Y) = (0:0:0, 0:0:0);\r
- (S0 => Y) = (0:0:0, 0:0:0);\r
- (S1 => Y) = (0:0:0, 0:0:0);\r
- endspecify\r
endmodule\r
\r
\r
(S1 ? (S0 ? D3 : D2) :\r
(S0 ? D1 : D0));\r
\r
- specify\r
- (D0 => Y) = (0:0:0, 0:0:0);\r
- (D1 => Y) = (0:0:0, 0:0:0);\r
- (D2 => Y) = (0:0:0, 0:0:0);\r
- (D3 => Y) = (0:0:0, 0:0:0);\r
- (D4 => Y) = (0:0:0, 0:0:0);\r
- (D5 => Y) = (0:0:0, 0:0:0);\r
- (D6 => Y) = (0:0:0, 0:0:0);\r
- (D7 => Y) = (0:0:0, 0:0:0);\r
- (S0 => Y) = (0:0:0, 0:0:0);\r
- (S1 => Y) = (0:0:0, 0:0:0);\r
- endspecify\r
endmodule\r
\r
\r
);\r
assign {CO, S} = A + B + CI;\r
\r
- specify\r
- (A => S) = (0:0:0, 0:0:0);\r
- (B => S) = (0:0:0, 0:0:0);\r
- (CI => S) = (0:0:0, 0:0:0);\r
- (A => CO) = (0:0:0, 0:0:0);\r
- (B => CO) = (0:0:0, 0:0:0);\r
- (CI => CO) = (0:0:0, 0:0:0);\r
- endspecify\r
endmodule\r
\r
\r
);\r
assign O = I;\r
\r
- specify\r
- (I => O) = (0:0:0, 0:0:0);\r
- endspecify\r
endmodule\r
\r
\r