projects
/
yosys.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
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