aboutsummaryrefslogtreecommitdiff
path: root/test/passes/to-verilog/rdwr-mem.fir
diff options
context:
space:
mode:
Diffstat (limited to 'test/passes/to-verilog/rdwr-mem.fir')
-rw-r--r--test/passes/to-verilog/rdwr-mem.fir61
1 files changed, 0 insertions, 61 deletions
diff --git a/test/passes/to-verilog/rdwr-mem.fir b/test/passes/to-verilog/rdwr-mem.fir
deleted file mode 100644
index c7897163..00000000
--- a/test/passes/to-verilog/rdwr-mem.fir
+++ /dev/null
@@ -1,61 +0,0 @@
-; RUN: firrtl -i %s -o %s.v -X verilog &> %s.out ; cat %s.v | FileCheck %s
-
-circuit top :
- module top :
- output rdata : UInt<32>
- input wdata : UInt<32>
- input index : UInt<2>
- input ren : UInt<1>
- input wen : UInt<1>
- input clk : Clock
-
- smem m : UInt<32>[4]
- infer mport c = m[index],clk
- rdata is invalid
- when ren :
- rdata <= c
- when wen :
- c <= wdata
-
-
-;CHECK: module top(
-;CHECK: output [31:0] rdata,
-;CHECK: input [31:0] wdata,
-;CHECK: input [1:0] index,
-;CHECK: input ren,
-;CHECK: input wen,
-;CHECK: input clk
-;CHECK: );
-;CHECK: reg [31:0] m [0:3];
-;CHECK: wire m_c_wmode;
-;CHECK: wire [31:0] m_c_rdata;
-;CHECK: wire [31:0] m_c_data;
-;CHECK: wire m_c_mask;
-;CHECK: wire [1:0] m_c_addr;
-;CHECK: wire m_c_en;
-;CHECK: wire m_c_clk;
-;CHECK: reg [1:0] GEN_0;
-;CHECK: assign rdata = m_c_rdata;
-;CHECK: assign m_c_clk = clk;
-;CHECK: assign m_c_addr = index;
-;CHECK: assign m_c_data = wdata;
-;CHECK: assign m_c_addr = index;
-;CHECK: assign m_c_mask = wen ? 1'h1 : 1'h0;
-;CHECK: assign m_c_en = 1'h1;
-;CHECK: assign m_c_wmode = wen ? 1'h1 : 1'h0;
-;CHECK: assign m_c_rdata = m[GEN_0];
-;CHECK: `ifndef SYNTHESIS
-;CHECK: integer initvar;
-;CHECK: initial begin
-;CHECK: #0.002;
-;CHECK: for (initvar = 0; initvar < 4; initvar = initvar+1)
-;CHECK: m[initvar] = {1{$random}};
-;CHECK: end
-;CHECK: `endif
-;CHECK: always @(posedge m_c_clk) begin
-;CHECK: GEN_0 <= m_c_addr;
-;CHECK: if(m_c_en & m_c_mask & m_c_wmode) begin
-;CHECK: m[m_c_addr] <= m_c_data;
-;CHECK: end
-;CHECK: end
-;CHECK: endmodule