Merge branch 'master' into clk2ff-better-names
[yosys.git] / tests / bind / basic.sv
1 // A basic example of the bind construct
2
3 module foo (input logic a, input logic b, output logic c);
4 // Magic happens here...
5 endmodule
6
7 module bar (input a, input b, output c);
8 assign c = a ^ b;
9 endmodule
10
11 module top ();
12 logic u, v, w;
13 foo foo_i (.a (u), .b (v), .c (w));
14
15 bind foo bar bound_i (.*);
16
17 always_comb begin
18 assert(w == u ^ v);
19 end
20 endmodule