fsm_timesim.sdf

VHDL source code for test machine.

  (CELL (CELLTYPE "X_OR2")
    (INSTANCE D_5_GTS_OR_T_176)
      (DELAY
        (ABSOLUTE
          (PORT I0 (4991:4991:4991)(4991:4991:4991))
          (IOPATH I0 O (0:0:0)(0:0:0))
          (IOPATH I1 O (0:0:0)(0:0:0))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE D_5_IOBUF_IBUF)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (167:167:167)(167:167:167))
        )
      )
  )
  (CELL (CELLTYPE "X_TRI_PP")
    (INSTANCE D_6_IOBUF_OBUFT)
      (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 D_6_ENABLEINV)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (0:0:0)(0:0:0))
        )
      )
  )
  (CELL (CELLTYPE "X_OR2")
    (INSTANCE D_6_GTS_OR_T_177)
      (DELAY
        (ABSOLUTE
          (PORT I0 (4991:4991:4991)(4991:4991:4991))
          (IOPATH I0 O (0:0:0)(0:0:0))
          (IOPATH I1 O (0:0:0)(0:0:0))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE D_6_IOBUF_IBUF)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (167:167:167)(167:167:167))
        )
      )
  )
  (CELL (CELLTYPE "X_LUT4")
    (INSTANCE Indic_Q_LPM_COUNTER_1_n0000_0_lut)
      (DELAY
        (ABSOLUTE
          (PORT ADR3 (248:248:248)(248:248:248))
          (IOPATH ADR0 O (260:260:260)(260:260:260))
          (IOPATH ADR1 O (260:260:260)(260:260:260))
          (IOPATH ADR2 O (260:260:260)(260:260:260))
          (IOPATH ADR3 O (260:260:260)(260:260:260))
        )
      )
  )
  (CELL (CELLTYPE "X_TRI_PP")
    (INSTANCE D_7_IOBUF_OBUFT)
      (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 D_7_ENABLEINV)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (0:0:0)(0:0:0))
        )
      )
  )
  (CELL (CELLTYPE "X_OR2")
    (INSTANCE D_7_GTS_OR_T_178)
      (DELAY
        (ABSOLUTE
          (PORT I0 (4991:4991:4991)(4991:4991:4991))
          (IOPATH I0 O (0:0:0)(0:0:0))
          (IOPATH I1 O (0:0:0)(0:0:0))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE D_7_IOBUF_IBUF)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (167:167:167)(167:167:167))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE SCLK_BUFGP_IBUFG_179)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (167:167:167)(167:167:167))
        )
      )
  )
  (CELL (CELLTYPE "X_TRI_PP")
    (INSTANCE INDSTATE_0_OBUF)
      (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 INDSTATE_0_ENABLEINV)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (0:0:0)(0:0:0))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE INDSTATE_0_GTS_OR_T_180)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (4991:4991:4991)(4991:4991:4991))
        )
      )
  )
  (CELL (CELLTYPE "X_TRI_PP")
    (INSTANCE INDSTATE_1_OBUF)
      (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 INDSTATE_1_ENABLEINV)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (0:0:0)(0:0:0))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE INDSTATE_1_GTS_OR_T_181)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (4991:4991:4991)(4991:4991:4991))
        )
      )
  )
  (CELL (CELLTYPE "X_TRI_PP")
    (INSTANCE INDSTATE_2_OBUF)
      (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 INDSTATE_2_ENABLEINV)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (0:0:0)(0:0:0))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE INDSTATE_2_GTS_OR_T_182)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (4991:4991:4991)(4991:4991:4991))
        )
      )
  )
  (CELL (CELLTYPE "X_TRI_PP")
    (INSTANCE INDSTATE_3_OBUF)
      (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 INDSTATE_3_ENABLEINV)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (0:0:0)(0:0:0))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE INDSTATE_3_GTS_OR_T_183)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (4991:4991:4991)(4991:4991:4991))
        )
      )
  )
  (CELL (CELLTYPE "X_TRI_PP")
    (INSTANCE nIndy_OBUF)
      (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 nIndy_ENABLEINV)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (0:0:0)(0:0:0))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE nIndy_GTS_OR_T_184)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (4991:4991:4991)(4991:4991:4991))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE START_IBUF_185)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (167:167:167)(167:167:167))
        )
      )
  )
  (CELL (CELLTYPE "X_TRI_PP")
    (INSTANCE OKforReset_OBUF)
      (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 OKforReset_ENABLEINV)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (0:0:0)(0:0:0))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE OKforReset_GTS_OR_T_186)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (4991:4991:4991)(4991:4991:4991))
        )
      )
  )
  (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 test_A_0_XUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE test_A_0_DYMUX_187)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE test_A_0_YUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE test_A_0_SRFFMUX_188)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (595:595:595)(595:595:595))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE test_A_0_CLKINV_189)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (560:560:560)(560:560:560))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE test_OKforReset_DXMUX_190)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE test_OKforReset_XUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE test_OKforReset_YUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE test_OKforReset_SRFFMUX_191)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (414:414:414)(414:414:414))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE test_OKforReset_CLKINV_192)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (560:560:560)(560:560:560))
        )
      )
  )
  (CELL (CELLTYPE "X_LUT4")
    (INSTANCE test_state_Out121)
      (DELAY
        (ABSOLUTE
          (PORT ADR0 (786:786:786)(786:786:786))
          (PORT ADR1 (379:379:379)(379:379:379))
          (PORT ADR2 (808:808:808)(808:808:808))
          (PORT ADR3 (285:285:285)(285:285:285))
          (IOPATH ADR0 O (260:260:260)(260:260:260))
          (IOPATH ADR1 O (260:260:260)(260:260:260))
          (IOPATH ADR2 O (260:260:260)(260:260:260))
          (IOPATH ADR3 O (260:260:260)(260:260:260))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE CHOICE309_XUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE CHOICE309_YUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE test_state_FFd10_DXMUX_193)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE test_state_FFd10_XUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_INV")
    (INSTANCE test_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 test_state_FFd10_DYMUX_194)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE test_state_FFd10_YUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE test_state_FFd10_SRFFMUX_195)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (21:21:21)(21:21:21))
        )
      )
  )
  (CELL (CELLTYPE "X_INV")
    (INSTANCE test_state_FFd10_SRINV)
      (DELAY
        (ABSOLUTE
          (PORT I (1035:1035:1035)(1035:1035:1035))
          (IOPATH I O (23:23:23)(23:23:23))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE test_state_FFd10_CLKINV_196)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (562:562:562)(562:562:562))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE test_ResetIndy_DXMUX_197)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE test_ResetIndy_XUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE test_ResetIndy_YUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE test_ResetIndy_SRFFMUX_198)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (1087:1087:1087)(1087:1087:1087))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE test_ResetIndy_CLKINV_199)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (562:562:562)(562:562:562))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE test_OKforCalc_DXMUX_200)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE test_OKforCalc_XUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE test_OKforCalc_YUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE test_OKforCalc_SRFFMUX_201)
      (DELAY
        (ABSOLUTE