You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
20 lines
249 B
Coq
20 lines
249 B
Coq
8 months ago
|
module nt(
|
||
|
|
output A,
|
||
|
|
output B,
|
||
|
|
output C,
|
||
|
|
output D,
|
||
|
|
output E,
|
||
|
|
output F,
|
||
|
|
output G,
|
||
|
|
output DP,
|
||
|
|
output S1,
|
||
|
|
output S2,
|
||
|
|
output S3,
|
||
|
|
output S4
|
||
|
|
);
|
||
|
|
|
||
|
|
assign A = 1'b1;
|
||
|
|
assign B = 1'b1;
|
||
|
|
|
||
|
|
assign S1 = 1'b0;
|
||
|
|
endmodule
|