mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-01-10 06:55:10 +00:00
8 lines
125 B
Coq
8 lines
125 B
Coq
|
module helloworld (
|
||
|
|
input wire[7:0] a,
|
||
|
|
input wire[7:0] b,
|
||
|
|
output wire[7:0] c,
|
||
|
|
);
|
||
|
|
assign c = a + b;
|
||
|
|
endmodule
|