testmachine_timesim.sdf

VHDL source code for test machine.

      (DELAY
        (ABSOLUTE
          (PORT I (209:209:209)(209:209:209))
          (PORT CTL (209:209:209)(209:209:209))
          (IOPATH I O (3282:3282:3282)(3282:3282:3282))
          (IOPATH CTL O (3282:3282:3282)(3282:3282:3282))
        )
      )
  )
  (CELL (CELLTYPE "X_INV")
    (INSTANCE RESET_ENABLEINV)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (0:0:0)(0:0:0))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE RESET_GTS_OR_T_29)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (4991:4991:4991)(4991:4991:4991))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE START_IBUF_30)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (167:167:167)(167:167:167))
        )
      )
  )
  (CELL (CELLTYPE "X_BUFGMUX")
    (INSTANCE SCLK_BUFGP_BUFG)
      (DELAY
        (ABSOLUTE
          (PORT I0 (158:158:158)(158:158:158))
          (IOPATH I0 O (512:512:512)(512:512:512))
          (IOPATH I1 O (512:512:512)(512:512:512))
        )
      )
      (TIMINGCHECK
        (SETUPHOLD (posedge S) (posedge I0) (608:608:608) (0:0:0))
        (SETUPHOLD (negedge S) (posedge I0) (608:608:608) (0:0:0))
        (SETUPHOLD (posedge S) (posedge I1) (608:608:608) (0:0:0))
        (SETUPHOLD (negedge S) (posedge I1) (608:608:608) (0:0:0))
      )
  )
  (CELL (CELLTYPE "X_INV")
    (INSTANCE SCLK_BUFGP_BUFG_SINV)
      (DELAY
        (ABSOLUTE
          (PORT I (150:150:150)(150:150:150))
          (IOPATH I O (0:0:0)(0:0:0))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE ResetCalc_OBUF_XUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE ResetCalc_OBUF_DYMUX_31)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE ResetCalc_OBUF_YUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE ResetCalc_OBUF_SRFFMUX_32)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (1133:1133:1133)(1133:1133:1133))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE ResetCalc_OBUF_CLKINV_33)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (557:557:557)(557:557:557))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE ResetIndy_OBUF_DXMUX_34)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE ResetIndy_OBUF_XUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE ResetIndy_OBUF_YUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE ResetIndy_OBUF_SRFFMUX_35)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (566:566:566)(566:566:566))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE ResetIndy_OBUF_CLKINV_36)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (557:557:557)(557:557:557))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE OKforCalc_OBUF_DYMUX_37)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE OKforCalc_OBUF_YUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE OKforCalc_OBUF_SRFFMUX_38)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (560:560:560)(560:560:560))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE OKforCalc_OBUF_CLKINV_39)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (558:558:558)(558:558:558))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE RESET_OBUF_DXMUX_40)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE RESET_OBUF_XUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE RESET_OBUF_DYMUX_41)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE RESET_OBUF_YUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE RESET_OBUF_SRFFMUX_42)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (598:598:598)(598:598:598))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE RESET_OBUF_CLKINV_43)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (557:557:557)(557:557:557))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE OKforReset_OBUF_DXMUX_44)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE OKforReset_OBUF_XUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE OKforReset_OBUF_YUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE OKforReset_OBUF_SRFFMUX_45)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (332:332:332)(332:332:332))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE OKforReset_OBUF_CLKINV_46)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (558:558:558)(558:558:558))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE A_0_XUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE A_0_DYMUX_47)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE A_0_YUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE A_0_SRFFMUX_48)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (1128:1128:1128)(1128:1128:1128))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE A_0_CLKINV_49)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (557:557:557)(557:557:557))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE state_FFd10_DXMUX_50)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE state_FFd10_XUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_INV")
    (INSTANCE state_FFd10_BXINV)
      (DELAY
        (ABSOLUTE
          (PORT I (46:46:46)(46:46:46))
          (IOPATH I O (0:0:0)(0:0:0))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE state_FFd10_DYMUX_51)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE state_FFd10_YUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE state_FFd10_SRFFMUX_52)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (21:21:21)(21:21:21))
        )
      )
  )
  (CELL (CELLTYPE "X_INV")
    (INSTANCE state_FFd10_SRINV)
      (DELAY
        (ABSOLUTE
          (PORT I (1237:1237:1237)(1237:1237:1237))
          (IOPATH I O (23:23:23)(23:23:23))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE state_FFd10_CLKINV_53)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (558:558:558)(558:558:558))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE Q_n0012_1_XUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE state_FFd2_DXMUX_54)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (980:980:980)(980:980:980))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE state_FFd2_DYMUX_55)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (1252:1252:1252)(1252:1252:1252))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE state_FFd2_SRFFMUX_56)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (21:21:21)(21:21:21))
        )
      )
  )
  (CELL (CELLTYPE "X_INV")
    (INSTANCE state_FFd2_SRINV)
      (DELAY
        (ABSOLUTE
          (PORT I (1247:1247:1247)(1247:1247:1247))
          (IOPATH I O (23:23:23)(23:23:23))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE state_FFd2_CLKINV_57)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (559:559:559)(559:559:559))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE state_FFd4_DXMUX_58)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (143:143:143)(143:143:143))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE state_FFd4_XUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE state_FFd4_DYMUX_59)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (1231:1231:1231)(1231:1231:1231))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE state_FFd4_SRFFMUX_60)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (21:21:21)(21:21:21))
        )
      )