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

initial begin
  $readmemb(~FILE[~LIT[3]],~SYM[0]);
end
~IF ~ISGATED[1] ~THEN
always @(posedge ~ARG[1][1]) begin : ~GENSYM[~COMPNAME_romFile][2]
  if (~ARG[1][0]) begin
    ~RESULT <= ~SYM[0][~ARG[4]];
  end
end~ELSE
always @(posedge ~ARG[1]) begin : ~SYM[2]
  ~RESULT <= ~SYM[0][~ARG[4]];
end~FI
// romFile end"
    }
  }
]