clash-systemverilog-0.6: primitives/CLaSH.Prelude.BlockRam.File.json

[ { "BlackBox" :
    { "name" : "CLaSH.Prelude.BlockRam.File.blockRamFile#"
    , "type" :
"blockRamFile# :: KnownNat m                 -- ARG[0]
               => SClock clk                 -- clk,  ARG[1]
               -> SNat n                     -- sz,   ARG[2]
               -> FilePath                   -- file, ARG[3]
               -> Signal' clk Int            -- wr,   ARG[4]
               -> Signal' clk Int            -- rd,   ARG[5]
               -> Signal' clk Bool           -- wren, ARG[6]
               -> Signal' clk (BitVector m)  -- din,  ARG[7]
               -> Signal' clk (BitVector m)"
    , "templateD" :
"// blockRamFile begin
~SIGDO[RAM_~SYM[0]] [0:~LIT[2]-1];
~SIGD[dout_~SYM[1]][7];

initial begin
  $readmemb(~FILE[~LIT[3]],RAM_~SYM[0]);
end

always @(posedge ~CLK[1]) begin : blockRamFile_~COMPNAME_~SYM[2]
  if (~ARG[7]) begin
    RAM_~SYM[0][~ARG[4]] <= ~ARG[7];
  end
  dout_~SYM[1] <= RAM_~SYM[0][~ARG[6]];
end

assign ~RESULT = dout_~SYM[1];
// blockRamFile end"
    }
  }
]