tests/simple_abc9/abc9.v

   1 module abc9_test001(input a, output o);
   2 assign o = a;
   3 endmodule
   4
   5 module abc9_test002(input [1:0] a, output o);
   6 assign o = a[1];
   7 endmodule
   8
   9 module abc9_test003(input [1:0] a, output [1:0] o);
  10 assign o = a;
  11 endmodule
  12
  13 module abc9_test004(input [1:0] a, output o);
  14 assign o = ^a;
  15 endmodule
  16
  17 module abc9_test005(input [1:0] a, output o, output p);
  18 assign o = ^a;
  19 assign p = ~o;
  20 endmodule
  21
  22 module abc9_test006(input [1:0] a, output [2:0] o);
  23 assign o[0] = ^a;
  24 assign o[1] = ~o[0];
  25 assign o[2] = o[1];
  26 endmodule
  27
  28 module abc9_test007(input a, output o);
  29 wire b, c;
  30 assign c = ~a;
  31 assign b = c;
  32 abc9_test007_sub s(b, o);
  33 endmodule
  34
  35 module abc9_test007_sub(input a, output b);
  36 assign b = a;
  37 endmodule
  38
  39 module abc9_test008(input a, output o);
  40 wire b, c;
  41 assign b = ~a;
  42 assign c = b;
  43 abc9_test008_sub s(b, o);
  44 endmodule
  45
  46 module abc9_test008_sub(input a, output b);
  47 assign b = ~a;
  48 endmodule
  49
  50 module abc9_test009(inout io, input oe);
  51 reg latch;
  52 always @(io or oe)
  53     if (!oe)
  54         latch <= io;
  55 assign io = oe ? ~latch : 1'bz;
  56 endmodule
  57
  58 module abc9_test010(inout [7:0] io, input oe);
  59 reg [7:0] latch;
  60 always @(io or oe)
  61     if (!oe)
  62         latch <= io;
  63 assign io = oe ? ~latch : 8'bz;
  64 endmodule
  65
  66 module abc9_test011(inout io, input oe);
  67 reg latch;
  68 always @(io or oe)
  69     if (!oe)
  70         latch <= io;
  71 //assign io = oe ? ~latch : 8'bz;
  72 endmodule
  73
  74 module abc9_test012(inout io, input oe);
  75 reg latch;
  76 //always @(io or oe)
  77 //    if (!oe)
  78 //        latch <= io;
  79 assign io = oe ? ~latch : 8'bz;
  80 endmodule
  81
  82 module abc9_test013(inout [3:0] io, input oe);
  83 reg [3:0] latch;
  84 always @(io or oe)
  85     if (!oe)
  86         latch[3:0] <= io[3:0];
  87     else
  88         latch[7:4] <= io;
  89 assign io[3:0] = oe ? ~latch[3:0] : 4'bz;
  90 assign io[7:4] = !oe ? {latch[4], latch[7:3]} : 4'bz;
  91 endmodule
  92
  93 module abc9_test014(inout [7:0] io, input oe);
  94 abc9_test012_sub sub(io, oe);
  95 endmodule
  96
  97 module abc9_test012_sub(inout [7:0] io, input oe);
  98 reg [7:0] latch;
  99 always @(io or oe)
 100     if (!oe)
 101         latch[3:0] <= io;
 102     else
 103         latch[7:4] <= io;
 104 assign io[3:0] = oe ? ~latch[3:0] : 4'bz;
 105 assign io[7:4] = !oe ? {latch[4], latch[7:3]} : 4'bz;
 106 endmodule
 107
 108 module abc9_test015(input a, output b, input c);
 109 assign b = ~a;
 110 (* keep *) wire d;
 111 assign d = ~c;
 112 endmodule
 113
 114 module abc9_test016(input a, output b);
 115 assign b = ~a;
 116 (* keep *) reg c;
 117 always @* c <= ~a;
 118 endmodule
 119
 120 module abc9_test017(input a, output b);
 121 assign b = ~a;
 122 (* keep *) reg c;
 123 always @* c = b;
 124 endmodule
 125
 126 module abc9_test018(input a, output b, output c);
 127 assign b = ~a;
 128 (* keep *) wire [1:0] d;
 129 assign c = &d;
 130 endmodule
 131
 132 module abc9_test019(input a, output b);
 133 assign b = ~a;
 134 (* keep *) reg [1:0] c;
 135 reg d;
 136 always @* d <= &c;
 137 endmodule
 138
 139 module abc9_test020(input a, output b);
 140 assign b = ~a;
 141 (* keep *) reg [1:0] c;
 142 (* keep *) reg d;
 143 always @* d <= &c;
 144 endmodule
 145
 146 module abc9_test021(clk, rst, s_eth_hdr_valid, s_eth_hdr_ready, s_eth_dest_mac, s_eth_src_mac, s_eth_type, s_eth_payload_axis_tdata, s_eth_payload_axis_tkeep, s_eth_payload_axis_tvalid, s_eth_payload_axis_tready, s_eth_payload_axis_tlast, s_eth_payload_axis_tid, s_eth_payload_axis_tdest, s_eth_payload_axis_tuser, m_eth_hdr_valid, m_eth_hdr_ready, m_eth_dest_mac, m_eth_src_mac, m_eth_type, m_eth_payload_axis_tdata, m_eth_payload_axis_tkeep, m_eth_payload_axis_tvalid, m_eth_payload_axis_tready, m_eth_payload_axis_tlast, m_eth_payload_axis_tid, m_eth_payload_axis_tdest, m_eth_payload_axis_tuser);
 147   input clk;
 148   output [47:0] m_eth_dest_mac;
 149   input m_eth_hdr_ready;
 150   output m_eth_hdr_valid;
 151   output [7:0] m_eth_payload_axis_tdata;
 152   output [7:0] m_eth_payload_axis_tdest;
 153   output [7:0] m_eth_payload_axis_tid;
 154   output m_eth_payload_axis_tkeep;
 155   output m_eth_payload_axis_tlast;
 156   input m_eth_payload_axis_tready;
 157   output m_eth_payload_axis_tuser;
 158   output m_eth_payload_axis_tvalid;
 159   output [47:0] m_eth_src_mac;
 160   output [15:0] m_eth_type;
 161   input rst;
 162   input [191:0] s_eth_dest_mac;
 163   output [3:0] s_eth_hdr_ready;
 164   input [3:0] s_eth_hdr_valid;
 165   input [31:0] s_eth_payload_axis_tdata;
 166   input [31:0] s_eth_payload_axis_tdest;
 167   input [31:0] s_eth_payload_axis_tid;
 168   input [3:0] s_eth_payload_axis_tkeep;
 169   input [3:0] s_eth_payload_axis_tlast;
 170   output [3:0] s_eth_payload_axis_tready;
 171   input [3:0] s_eth_payload_axis_tuser;
 172   input [3:0] s_eth_payload_axis_tvalid;
 173   input [191:0] s_eth_src_mac;
 174   input [63:0] s_eth_type;
 175   (* keep *)
 176   wire [0:0] grant, request;
 177   wire a;
 178   not u0 (
 179     a,
 180     grant[0]
 181   );
 182   and u1  (
 183     request[0],
 184     s_eth_hdr_valid[0],
 185     a
 186   );
 187   (* keep *)
 188   MUXF8 u2  (
 189     .I0(1'bx),
 190     .I1(1'bx),
 191     .O(o),
 192     .S(1'bx)
 193   );
 194   arbiter  arb_inst (
 195     .acknowledge(acknowledge),
 196     .clk(clk),
 197     .grant(grant),
 198     .grant_encoded(grant_encoded),
 199     .grant_valid(grant_valid),
 200     .request(request),
 201     .rst(rst)
 202   );
 203 endmodule
 204
 205 module arbiter (clk, rst, request, acknowledge, grant, grant_valid, grant_encoded);
 206   input [3:0] acknowledge;
 207   input clk;
 208   output [3:0] grant;
 209   output [1:0] grant_encoded;
 210   output grant_valid;
 211   input [3:0] request;
 212   input rst;
 213 endmodule
 214
 215 (* abc_box_id=1 *)
 216 module MUXF8(input I0, I1, S, output O);
 217 endmodule