File: t_interface_down_gen.v

package info (click to toggle)
verilator 4.038-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 29,596 kB
  • sloc: cpp: 90,585; perl: 15,101; ansic: 8,573; yacc: 3,626; lex: 1,616; makefile: 1,101; sh: 175; python: 145
file content (79 lines) | stat: -rw-r--r-- 1,726 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
// DESCRIPTION: Verilator: Verilog Test module
//
// This file ONLY is placed under the Creative Commons Public Domain, for
// any use, without warranty, 2013 by Wilson Snyder.
// SPDX-License-Identifier: CC0-1.0

// This test demonstrates how not only parameters but the type of a parent
// interface could propagate down to child modules, changing their data type
// determinations.  Note presently unsupported in all commercial simulators.

interface ifc;
   parameter MODE = 0;
   generate
      // Note block must be named per SystemVerilog 2005
      if (MODE==1) begin : g
	 integer value;
      end
      else if (MODE==2) begin : g
	 real value;
      end
   endgenerate
endinterface

module t (/*AUTOARG*/
   // Inputs
   clk
   );

   input clk;
   integer cyc=1;

   ifc #(1) itop1a();
   ifc #(1) itop1b();
   ifc #(2) itop2a();
   ifc #(2) itop2b();

   wrapper  c1 (.isuba(itop1a),
		.isubb(itop1b),
		.i_valuea(14.1),
		.i_valueb(15.2));
   wrapper  c2 (.isuba(itop2a),
		.isubb(itop2b),
		.i_valuea(24.3),
		.i_valueb(25.4));

   always @ (posedge clk) begin
      cyc <= cyc + 1;
      if (cyc==20) begin
	 if (itop1a.g.value != 14) $stop;
	 if (itop1b.g.value != 15) $stop;
	 if (itop2a.g.value != 24) $stop;
	 if (itop2b.g.value != 25) $stop;
	 $write("*-* All Finished *-*\n");
	 $finish;
      end
   end
endmodule

module wrapper
  (
   ifc isuba,
   ifc isubb,
   input real i_valuea,
   input real i_valueb
   );
   lower subsuba (.isub(isuba), .i_value(i_valuea));
   lower subsubb (.isub(isubb), .i_value(i_valueb));
endmodule

module lower
  (
   ifc isub,
   input real i_value
   );
   always @* begin
`error Commercial sims choke on cross ref here
      isub.g.value = i_value;
   end
endmodule