[ { "BlackBox" :
    { "name" : "Clash.Explicit.ROM.File.romFile#"
    , "kind" : "Declaration"
    , "type" :
"romFile# :: ( KnownNat m             --       ARG[0]
             , KnownDomain dom      ) --       ARG[1]
          => Clock dom                -- clk,  ARG[2]
          -> Enable dom               -- en,   ARG[3]
          -> SNat n                   -- sz,   ARG[4]
          -> FilePath                 -- file, ARG[5]
          -> Signal dom Int           -- rd,   ARG[6]
          -> Signal dom (BitVector m)"
    , "outputReg" : true
    , "template" :
"// romFile begin
reg ~TYPO ~GENSYM[ROM][0] [0:~LIT[4]-1];

initial begin
  $readmemb(~FILE[~LIT[5]],~SYM[0]);
end
~IF ~ISACTIVEENABLE[3] ~THEN
always @(~IF~ACTIVEEDGE[Rising][1]~THENposedge~ELSEnegedge~FI ~ARG[2]) begin : ~GENSYM[~COMPNAME_romFile][2]
  if (~ARG[3]) begin
    ~RESULT <= ~SYM[0][~ARG[6]];
  end
end~ELSE
always @(~IF~ACTIVEEDGE[Rising][1]~THENposedge~ELSEnegedge~FI ~ARG[2]) begin : ~SYM[2]
  ~RESULT <= ~SYM[0][~ARG[6]];
end~FI
// romFile end"
    }
  }
]