[ { "BlackBox" :
    { "name" : "Clash.Signal.Internal.delay#"
    , "kind" : "Declaration"
    , "type" :
"delay#
  :: ( KnownDomain dom        -- ARG[0]
     , Undefined a )          -- ARG[1]
  => Clock dom                -- ARG[2]
  -> Enable dom               -- ARG[3]
  -> a                        -- ARG[4]
  -> Signal clk a             -- ARG[5]
  -> Signal clk a"
    , "template" :
"-- delay begin~IF ~ISACTIVEENABLE[3] ~THEN
~GENSYM[~RESULT_delay][0] : block
  signal ~GENSYM[~RESULT_reg][1]   : ~TYPO ~IF ~ISINITDEFINED[0] ~THEN := ~CONST[4] ~ELSE ~FI;
begin
  ~RESULT <= ~SYM[1];
  ~GENSYM[~RESULT_dly][4] : process(~ARG[2])
  begin
    if ~IF~ACTIVEEDGE[Rising][0]~THENrising_edge~ELSEfalling_edge~FI(~ARG[2]) then
      if ~ARG[3] then
        ~SYM[1] <= ~ARG[5]
        -- pragma translate_off
        after 1 ps
        -- pragma translate_on
        ;
      end if;
    end if;
  end process;
end block;~ELSE
~SYM[0] : block
  signal ~SYM[1] : ~TYPO := ~CONST[4];
begin
  ~RESULT <= ~SYM[1];
  ~SYM[4] : process(~ARG[2])
  begin
    if ~IF~ACTIVEEDGE[Rising][0]~THENrising_edge~ELSEfalling_edge~FI(~ARG[2]) then
      ~SYM[1] <= ~ARG[5]
      -- pragma translate_off
      after 1 ps
      -- pragma translate_on
      ;
    end if;
  end process;
end block;~FI
-- delay end"
    }
  }
, { "BlackBox" :
    { "name" : "Clash.Signal.Internal.register#"
    , "kind" : "Declaration"
    , "type" :
"register#
  :: ( KnownDomain dom        -- ARG[0]
     , Undefined a )          -- ARG[1]
  => Clock dom                -- ARG[2]
  -> Reset dom                -- ARG[3]
  -> Enable dom               -- ARG[4]
  -> a                        -- ARG[5] (powerup value)
  -> a                        -- ARG[6] (reset value)
  -> Signal clk a             -- ARG[7]
  -> Signal clk a"
    , "template" :
"-- register begin~IF ~ISACTIVEENABLE[4] ~THEN
~GENSYM[~COMPNAME_register][0] : block
  signal ~GENSYM[~RESULT_reg][1] : ~TYPO ~IF ~ISINITDEFINED[0] ~THEN := ~CONST[5] ~ELSE ~FI;
begin
  ~RESULT <= ~SYM[1]; ~IF ~ISSYNC[0] ~THEN
  ~GENSYM[~RESULT_r][2] : process(~ARG[2])
  begin
    if ~IF~ACTIVEEDGE[Rising][0]~THENrising_edge~ELSEfalling_edge~FI(~ARG[2]) then
      if ~ARG[3] = ~IF ~ISACTIVEHIGH[0] ~THEN '1' ~ELSE '0' ~FI then
        ~SYM[1] <= ~CONST[6]
        -- pragma translate_off
        after 1 ps
        -- pragma translate_on
        ;
      elsif ~ARG[4] then
        ~SYM[1] <= ~ARG[7]
        -- pragma translate_off
        after 1 ps
        -- pragma translate_on
        ;
      end if;
    end if;
  end process;~ELSE
  ~SYM[2] : process(~ARG[2],~ARG[3])
  begin
    if ~ARG[3] = ~IF ~ISACTIVEHIGH[0] ~THEN '1' ~ELSE '0' ~FI then
      ~SYM[1] <= ~CONST[6];
    elsif ~IF~ACTIVEEDGE[Rising][0]~THENrising_edge~ELSEfalling_edge~FI(~ARG[2]) then
      if ~ARG[4] then
        ~SYM[1] <= ~ARG[7]
        -- pragma translate_off
        after 1 ps
        -- pragma translate_on
        ;
      end if;
    end if;
  end process;~FI
end block;~ELSE
~SYM[0] : block
  signal ~SYM[1] : ~TYPO := ~CONST[5];
begin
  ~RESULT <= ~SYM[1]; ~IF ~ISSYNC[0] ~THEN
  ~SYM[2] : process(~ARG[2])
  begin
    if ~IF~ACTIVEEDGE[Rising][0]~THENrising_edge~ELSEfalling_edge~FI(~ARG[2]) then
      if ~ARG[3] = ~IF ~ISACTIVEHIGH[0] ~THEN '1' ~ELSE '0' ~FI then
        ~SYM[1] <= ~CONST[6]
        -- pragma translate_off
        after 1 ps
        -- pragma translate_on
        ;
      else
        ~SYM[1] <= ~ARG[7]
        -- pragma translate_off
        after 1 ps
        -- pragma translate_on
        ;
      end if;
    end if;
  end process;~ELSE
  ~SYM[2] : process(~ARG[2],~ARG[3])
  begin
    if ~ARG[3] = ~IF ~ISACTIVEHIGH[0] ~THEN '1' ~ELSE '0' ~FI then
      ~SYM[1] <= ~CONST[6]
      -- pragma translate_off
      after 1 ps
      -- pragma translate_on
      ;
    elsif ~IF~ACTIVEEDGE[Rising][0]~THENrising_edge~ELSEfalling_edge~FI(~ARG[2]) then
      ~SYM[1] <= ~ARG[7]
      -- pragma translate_off
      after 1 ps
      -- pragma translate_on
      ;
    end if;
  end process;~FI
end block;~FI
-- register end"
    }
  }
, { "BlackBox" :
    { "name"      : "Clash.Signal.Internal.clockGen"
    , "workInfo"  : "Always"
    , "kind" : "Declaration"
    , "warning" : "Clash.Signal.Internal.clockGen is not synthesizable!"
    , "type" :
"clockGen
  :: KnownDomain dom     -- ARG[0]
  => Clock dom"
    , "comment" :
        "ModelSim and Vivado seem to round time values to an integer number of picoseconds.
        Use two half periods to prevent rounding errors from affecting the full period."
    , "template" :
"-- clockGen begin
-- pragma translate_off
~GENSYM[clkGen][0] : process is
  constant ~GENSYM[half_periodH][1] : time := ~PERIOD[0]000 fs / 2;
  constant ~GENSYM[half_periodL][2] : time := ~PERIOD[0]000 fs - ~SYM[1];
begin
  ~RESULT <= ~IF~ACTIVEEDGE[Rising][0]~THEN'0'~ELSE'1'~FI;
  wait for 3000 ps;
  loop
    ~RESULT <= not ~RESULT;
    wait for ~SYM[1];
    ~RESULT <= not ~RESULT;
    wait for ~SYM[2];
  end loop;
  wait;
end process;
-- pragma translate_on
-- clockGen end"
    }
  }
, { "BlackBox" :
    { "name" : "Clash.Explicit.Testbench.tbClockGen"
    , "workInfo"  : "Always"
    , "kind" : "Declaration"
    , "warning" : "Clash.Signal.Internal.tbClockGen is not synthesizable!"
    , "type" :
"tbClockGen
  :: KnownDomain dom     -- ARG[0]
  => Signal dom Bool     -- ARG[1]
  -> Clock dom"
    , "template" :
"-- tbClockGen begin
-- pragma translate_off
~GENSYM[clkGen][0] : process is
  constant ~GENSYM[half_periodH][1] : time := ~PERIOD[0]000 fs / 2;
  constant ~GENSYM[half_periodL][2] : time := ~PERIOD[0]000 fs - ~SYM[1];
begin
  ~RESULT <= ~IF~ACTIVEEDGE[Rising][0]~THEN'0'~ELSE'1'~FI;
  wait for 3000 ps;
  while ~ARG[1] loop
    ~RESULT <= not ~RESULT;
    wait for ~SYM[1];
    ~RESULT <= not ~RESULT;
    wait for ~SYM[2];
  end loop;
  wait;
end process;
-- pragma translate_on
-- tbClockGen end"
    }
  }
, { "BlackBox" :
    { "name"      : "Clash.Signal.Internal.resetGenN"
    , "workInfo"  : "Always"
    , "kind" : "Declaration"
    , "type" : "resetGenN :: (KnownDomain dom, 1 <= n) => SNat n -> Reset dom"
    , "template" :
"-- resetGen begin
-- pragma translate_off
~RESULT <= ~IF ~ISACTIVEHIGH[0] ~THEN '1' ~ELSE '0' ~FI,
         ~IF ~ISACTIVEHIGH[0] ~THEN '0' ~ELSE '1' ~FI after ~IF~ISSYNC[0]~THEN(2999 ps + (integer'(~LIT[2]) * ~PERIOD[0] ps))~ELSE(3001 ps + integer'(~LIT[2] - 1) * ~PERIOD[0] ps)~FI;
-- pragma translate_on
-- resetGen end"
    }
  }
, { "BlackBox" :
    { "name"      : "Clash.Signal.Internal.unsafeFromReset"
    , "workInfo"  : "Never"
    , "kind" : "Declaration"
    , "type" :
"unsafeFromReset :: Reset dom -> Signal dom Bool"
    , "template" : "~RESULT <= true when ~ARG[0] = '1' else false;"
    }
  }
, { "BlackBox" :
    { "name"      : "Clash.Signal.Internal.unsafeToReset"
    , "workInfo"  : "Never"
    , "kind" : "Declaration"
    , "type" :
"unsafeToReset :: Signal dom Bool -> Reset dom"
    , "template" : "~RESULT <= '1' when ~ARG[0] = true else '0';"
    }
  }
, { "BlackBox" :
    { "name" : "Clash.Explicit.Testbench.tbEnableGen"
    , "workInfo" : "Always"
    , "kind" : "Declaration"
    , "type" : "tbEnableGen :: Enable dom"
    , "template" : "~RESULT <= true;"
    }
  }
]