Files

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

8 lines
125 B
Coq
Raw Permalink Normal View History

2025-10-09 14:15:47 +02:00
module helloworld (
input wire[7:0] a,
input wire[7:0] b,
output wire[7:0] c,
);
assign c = a + b;
endmodule