diff options
Diffstat (limited to 'test/passes/to-verilog/rdwr-mem.fir')
| -rw-r--r-- | test/passes/to-verilog/rdwr-mem.fir | 61 |
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 |
