Loading files
This file is pinned to the selected release. Download the original to open it in your design tool.
cdff47fcaThis file is pinned to the selected release. Download the original to open it in your design tool.
extern "dummy.sv" {
comp Identity[#A, #B, ?#C=#A+#B]<G: 1>(
@interface[G] go: 1,
@[G, G+1] in: 32,
) -> (
@[G, G+1] out: 32,
);
}
comp main<G: 1>(
@interface[G] go: 1,
@[G, G+1] in: 32,
) -> (
@[G, G+1] out: 32
) {
valid1 := new Identity[1, 2]<G>(in);
valid2 := new Identity[1, 2, 4]<G>(valid1.out);
invalid := new Identity[1]<G>(valid2.out);
out = invalid.out;
}