- BlackBox:
    name: Clash.Explicit.DDR.ddrIn#
    kind: Declaration
    type: |-
      ddrIn# :: forall a slow fast n pFast enabled synchronous.
                 ( HasCallStack           -- ARG[0]
                 , Undefined a            -- ARG[1]
                 , KnownConfi~ fast domf  -- ARG[2]
                 , KnownConfi~ slow doms  -- ARG[3]
              => Clock slow               -- ARG[4]
              -> Reset slow               -- ARG[5]
              -> Enable slow              -- ARG[6]
              -> a                        -- ARG[7]
              -> a                        -- ARG[8]
              -> a                        -- ARG[9]
              -> Signal fast a            -- ARG[10]
              -> Signal slow (a,a)
    template: |-
      -- ddrIn begin
      ~GENSYM[~COMPNAME_ddrIn][0] : block
        signal ~GENSYM[data_Pos][1]       : ~TYP[9];
        signal ~GENSYM[data_Neg][2]       : ~TYP[9];
        signal ~GENSYM[data_Neg_Latch][3] : ~TYP[9];
      begin
       ~IF ~ISSYNC[3] ~THEN
        -- sync
        -------------
        ~GENSYM[~COMPNAME_ddrIn_pos][6] : process(~ARG[4])
        begin
          if ~IF~ACTIVEEDGE[Rising][2]~THENrising_edge~ELSEfalling_edge~FI(~ARG[4]) then
            if ~ARG[5] = ~IF~ISACTIVEHIGH[2]~THEN'1'~ELSE'0'~FI then
              ~SYM[1] <= ~ARG[8];
            els~IF ~ISACTIVEENABLE[6] ~THENif ~ARG[6] then~ELSEe~FI
              ~SYM[1] <= ~ARG[10];
            end if;
          end if;
        end process;

        ~GENSYM[~COMPNAME_ddrIn_neg][7] : process(~ARG[4])
        begin
          if ~IF~ACTIVEEDGE[Rising][2]~THENfalling_edge~ELSErising_edge~FI(~ARG[4]) then
            if ~ARG[5] = ~IF~ISACTIVEHIGH[2]~THEN'1'~ELSE'0'~FI then
              ~SYM[2] <= ~ARG[9];
            els~IF ~ISACTIVEENABLE[6] ~THENif ~ARG[6] then~ELSEe~FI
              ~SYM[2] <= ~ARG[10];
            end if;
          end if;
        end process;

        ~GENSYM[~COMPNAME_ddrIn_neg_latch][8] : process(~ARG[4])
        begin
          if ~IF~ACTIVEEDGE[Rising][2]~THENrising_edge~ELSEfalling_edge~FI(~ARG[4]) then
            if ~ARG[5] = ~IF~ISACTIVEHIGH[2]~THEN'1'~ELSE'0'~FI then
              ~SYM[3] <= ~ARG[7];
            els~IF ~ISACTIVEENABLE[6] ~THENif ~ARG[6] then~ELSEe~FI
              ~SYM[3] <= ~SYM[2];
            end if;
          end if;
        end process;
       ~ELSE
        -- async
        --------------
        ~SYM[6] : process(~ARG[4],~ARG[5]~VARS[9])
        begin
          if ~ARG[5] = ~IF~ISACTIVEHIGH[2]~THEN'1'~ELSE'0'~FI then
            ~SYM[1] <= ~ARG[8];
          elsif ~IF ~ISACTIVEENABLE[6] ~THEN ~ARG[6] and ~ELSE ~FI ~IF~ACTIVEEDGE[Rising][2]~THENrising_edge~ELSEfalling_edge~FI(~ARG[4]) then
            ~SYM[1] <= ~ARG[10];
          end if;
        end process;

        ~SYM[7] : process(~ARG[4],~ARG[5]~VARS[9])
        begin
          if ~ARG[5] = ~IF~ISACTIVEHIGH[2]~THEN'1'~ELSE'0'~FI then
            ~SYM[2] <= ~ARG[9];
          elsif ~IF ~ISACTIVEENABLE[6] ~THEN ~ARG[6] and ~ELSE ~FI ~IF~ACTIVEEDGE[Rising][2]~THENfalling_edge~ELSErising_edge~FI(~ARG[4]) then
            ~SYM[2] <= ~ARG[10];
          end if;
        end process;

        ~SYM[8] : process(~ARG[4],~ARG[5],~SYM[2])
        begin
          if ~ARG[5] = ~IF~ISACTIVEHIGH[2]~THEN'1'~ELSE'0'~FI then
            ~SYM[3] <= ~ARG[7];
          elsif ~IF ~ISACTIVEENABLE[6] ~THEN ~ARG[6] and ~ELSE ~FI ~IF~ACTIVEEDGE[Rising][2]~THENrising_edge~ELSEfalling_edge~FI(~ARG[4]) then
            ~SYM[3] <= ~SYM[2];
          end if;
        end process;
       ~FI
        ~RESULT <= (~SYM[3], ~SYM[1]);
      end block;
      -- ddrIn end
- BlackBox:
    name: Clash.Explicit.DDR.ddrOut#
    kind: Declaration
    type: |-
      ddrOut# :: ( HasCallStack               -- ARG[0]
                  , Undefined a                -- ARG[1]
                  , KnownConfi~ fast domf      -- ARG[2]
                  , KnownConfi~ slow doms      -- ARG[3]
               => Clock slow                   -- ARG[4]
               -> Reset slow                   -- ARG[5]
               -> Enable slow                  -- ARG[6]
               -> a                            -- ARG[7]
               -> Signal slow a                -- ARG[8]
               -> Signal slow a                -- ARG[9]
               -> Signal fast a
    template: |-
      -- ddrOut begin
      ~GENSYM[~COMPNAME_ddrIn][0] : block
        signal ~GENSYM[data_Pos][1] : ~TYP[7];
        signal ~GENSYM[data_Neg][2] : ~TYP[7];
      begin
       ~IF ~ISSYNC[3] ~THEN
        -- sync
        -------------
        ~GENSYM[~COMPNAME_ddrOut_pos][5] : process(~ARG[4])
        begin
          if ~IF~ACTIVEEDGE[Rising][2]~THENrising_edge~ELSEfalling_edge~FI(~ARG[4]) then
            if ~ARG[5] = ~IF~ISACTIVEHIGH[2]~THEN'1'~ELSE'0'~FI then
              ~SYM[1] <= ~ARG[7];
            els~IF ~ISACTIVEENABLE[6] ~THENif ~ARG[6] then~ELSEe~FI
              ~SYM[1] <= ~ARG[8];
            end if;
          end if;
        end process;

        ~GENSYM[~COMPNAME_ddrOut_neg][6] : process(~ARG[4])
        begin
          if ~IF~ACTIVEEDGE[Rising][2]~THENrising_edge~ELSEfalling_edge~FI(~ARG[4]) then
            if ~ARG[5] = ~IF~ISACTIVEHIGH[2]~THEN'1'~ELSE'0'~FI then
              ~SYM[2] <= ~ARG[7];
            els~IF ~ISACTIVEENABLE[6] ~THENif ~ARG[6] then~ELSEe~FI
              ~SYM[2] <= ~ARG[9];
            end if;
          end if;
        end process;
       ~ELSE
        -- async
        --------------
        ~SYM[5] : process(~ARG[4],~ARG[5]~VARS[8])
        begin
          if ~ARG[5] = ~IF~ISACTIVEHIGH[2]~THEN'1'~ELSE'0'~FI then
            ~SYM[1] <= ~ARG[7];
          elsif ~IF~ACTIVEEDGE[Rising][2]~THENrising_edge~ELSEfalling_edge~FI(~ARG[4]) then
            ~SYM[1] <= ~ARG[8];
          end if;
        end process;

        ~SYM[6] : process(~ARG[4],~ARG[5]~VARS[9])
        begin
          if ~ARG[5] = ~IF~ISACTIVEHIGH[2]~THEN'1'~ELSE'0'~FI then
            ~SYM[2] <= ~ARG[7];
          elsif ~IF~ACTIVEEDGE[Rising][2]~THENrising_edge~ELSEfalling_edge~FI(~ARG[4]) then
            ~SYM[2] <= ~ARG[9];
          end if;
        end process;
       ~FI
        ~RESULT <= ~IF~ACTIVEEDGE[Rising][2]~THEN~SYM[1]~ELSE~SYM[2]~FI when (~ARG[4] = '1' ~IF ~ISACTIVEENABLE[6] ~THEN and ~ARG[6] ~ELSE ~FI) else ~IF~ACTIVEEDGE[Rising][2]~THEN~SYM[2]~ELSE~SYM[1]~FI;
      end block;
      -- ddrOut end