testmachine_timesim.sdf

VHDL source code for test machine.

  )
  (CELL (CELLTYPE "X_INV")
    (INSTANCE state_FFd4_SRINV)
      (DELAY
        (ABSOLUTE
          (PORT I (1273:1273:1273)(1273:1273:1273))
          (IOPATH I O (23:23:23)(23:23:23))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE state_FFd4_CLKINV_61)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (557:557:557)(557:557:557))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE state_FFd6_DXMUX_62)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (1226:1226:1226)(1226:1226:1226))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE state_FFd6_DYMUX_63)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (1523:1523:1523)(1523:1523:1523))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE state_FFd6_SRFFMUX_64)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (21:21:21)(21:21:21))
        )
      )
  )
  (CELL (CELLTYPE "X_INV")
    (INSTANCE state_FFd6_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_FFd6_CLKINV_65)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (559:559:559)(559:559:559))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE state_FFd7_DXMUX_66)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (715:715:715)(715:715:715))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE state_FFd7_XUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE state_FFd7_DYMUX_67)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE state_FFd7_YUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE state_FFd7_SRFFMUX_68)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (21:21:21)(21:21:21))
        )
      )
  )
  (CELL (CELLTYPE "X_INV")
    (INSTANCE state_FFd7_SRINV)
      (DELAY
        (ABSOLUTE
          (PORT I (1235:1235:1235)(1235:1235:1235))
          (IOPATH I O (23:23:23)(23:23:23))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE state_FFd7_CLKINV_69)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (557:557:557)(557:557:557))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE CHOICE326_XUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE CHOICE326_YUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE CHOICE316_XUSED)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (122:122:122)(122:122:122))
        )
      )
  )
  (CELL (CELLTYPE "X_LUT4")
    (INSTANCE Q_n001449)
      (DELAY
        (ABSOLUTE
          (PORT ADR0 (939:939:939)(939:939:939))
          (PORT ADR2 (31:31:31)(31:31:31))
          (PORT ADR3 (547:547:547)(547:547:547))
          (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_LUT4")
    (INSTANCE Q_n001427)
      (DELAY
        (ABSOLUTE
          (PORT ADR0 (641:641:641)(641:641:641))
          (PORT ADR1 (476:476:476)(476:476:476))
          (PORT ADR3 (296:296:296)(296:296:296))
          (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_FF")
    (INSTANCE state_FFd7_70)
      (DELAY
        (ABSOLUTE
          (IOPATH CLK O (494:494:494)(494:494:494))
          (IOPATH SET O (1121:1121:1121)(1121:1121:1121))
          (IOPATH RST O (1121:1121:1121)(1121:1121:1121))
        )
      )
      (TIMINGCHECK
        (SETUPHOLD (posedge I) (posedge CLK) (200:200:200) (36:36:36))
        (SETUPHOLD (negedge I) (posedge CLK) (200:200:200) (36:36:36))
        (SETUPHOLD (posedge CE) (posedge CLK) (104:104:104) (31:31:31))
        (SETUPHOLD (negedge CE) (posedge CLK) (104:104:104) (31:31:31))
        (PERIOD (posedge CLK) (1332:1332:1332))
        (RECOVERY (negedge SET) (posedge CLK) (375:375:375))
        (RECOVERY (negedge RST) (posedge CLK) (375:375:375))
        (WIDTH (posedge SET) (1331:1331:1331))
        (WIDTH (posedge RST) (1331:1331:1331))
      )
  )
  (CELL (CELLTYPE "X_OR2")
    (INSTANCE state_FFd7_FFX_RSTOR)
      (DELAY
        (ABSOLUTE
          (PORT I1 (4854:4854:4854)(4854:4854:4854))
          (IOPATH I0 O (0:0:0)(0:0:0))
          (IOPATH I1 O (0:0:0)(0:0:0))
        )
      )
  )
  (CELL (CELLTYPE "X_LUT4")
    (INSTANCE state_FFd9_In1)
      (DELAY
        (ABSOLUTE
          (PORT ADR2 (1086:1086:1086)(1086:1086:1086))
          (PORT ADR3 (282:282:282)(282:282:282))
          (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_SFF")
    (INSTANCE A_0_71)
      (DELAY
        (ABSOLUTE
          (PORT SET (5481:5481:5481)(5481:5481:5481))
          (PORT RST (5481:5481:5481)(5481:5481:5481))
          (IOPATH CLK O (494:494:494)(494:494:494))
          (IOPATH SET O (494:494:494)(494:494:494))
          (IOPATH RST O (494:494:494)(494:494:494))
        )
      )
      (TIMINGCHECK
        (SETUPHOLD (posedge I) (posedge CLK) (200:200:200) (36:36:36))
        (SETUPHOLD (negedge I) (posedge CLK) (200:200:200) (36:36:36))
        (SETUPHOLD (posedge CE) (posedge CLK) (104:104:104) (31:31:31))
        (SETUPHOLD (negedge CE) (posedge CLK) (104:104:104) (31:31:31))
        (PERIOD (posedge CLK) (1332:1332:1332))
        (SETUPHOLD (posedge SSET) (posedge CLK) (200:200:200) (0:0:0))
        (SETUPHOLD (negedge SSET) (posedge CLK) (200:200:200) (0:0:0))
        (SETUPHOLD (posedge SRST) (posedge CLK) (200:200:200) (0:0:0))
        (SETUPHOLD (negedge SRST) (posedge CLK) (200:200:200) (0:0:0))
        (WIDTH (posedge SET) (1331:1331:1331))
        (WIDTH (posedge RST) (1331:1331:1331))
      )
  )
  (CELL (CELLTYPE "X_LUT4")
    (INSTANCE state_Out1111)
      (DELAY
        (ABSOLUTE
          (PORT ADR0 (489:489:489)(489:489:489))
          (PORT ADR1 (448:448:448)(448:448:448))
          (PORT ADR2 (323:323:323)(323:323:323))
          (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_FF")
    (INSTANCE state_FFd9_72)
      (DELAY
        (ABSOLUTE
          (IOPATH CLK O (494:494:494)(494:494:494))
          (IOPATH SET O (1121:1121:1121)(1121:1121:1121))
          (IOPATH RST O (1121:1121:1121)(1121:1121:1121))
        )
      )
      (TIMINGCHECK
        (SETUPHOLD (posedge I) (posedge CLK) (200:200:200) (36:36:36))
        (SETUPHOLD (negedge I) (posedge CLK) (200:200:200) (36:36:36))
        (SETUPHOLD (posedge CE) (posedge CLK) (104:104:104) (31:31:31))
        (SETUPHOLD (negedge CE) (posedge CLK) (104:104:104) (31:31:31))
        (PERIOD (posedge CLK) (1332:1332:1332))
        (RECOVERY (negedge SET) (posedge CLK) (375:375:375))
        (RECOVERY (negedge RST) (posedge CLK) (375:375:375))
        (WIDTH (posedge SET) (1331:1331:1331))
        (WIDTH (posedge RST) (1331:1331:1331))
      )
  )
  (CELL (CELLTYPE "X_OR2")
    (INSTANCE state_FFd10_FFY_RSTOR)
      (DELAY
        (ABSOLUTE
          (PORT I1 (4854:4854:4854)(4854:4854:4854))
          (IOPATH I0 O (0:0:0)(0:0:0))
          (IOPATH I1 O (0:0:0)(0:0:0))
        )
      )
  )
  (CELL (CELLTYPE "X_LUT4")
    (INSTANCE Q_n0015_SW15)
      (DELAY
        (ABSOLUTE
          (PORT ADR2 (306:306:306)(306:306:306))
          (PORT ADR3 (822:822:822)(822:822:822))
          (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_FF")
    (INSTANCE state_FFd10_73)
      (DELAY
        (ABSOLUTE
          (IOPATH CLK O (494:494:494)(494:494:494))
          (IOPATH SET O (1121:1121:1121)(1121:1121:1121))
          (IOPATH RST O (1121:1121:1121)(1121:1121:1121))
        )
      )
      (TIMINGCHECK
        (SETUPHOLD (posedge I) (posedge CLK) (200:200:200) (36:36:36))
        (SETUPHOLD (negedge I) (posedge CLK) (200:200:200) (36:36:36))
        (SETUPHOLD (posedge CE) (posedge CLK) (104:104:104) (31:31:31))
        (SETUPHOLD (negedge CE) (posedge CLK) (104:104:104) (31:31:31))
        (PERIOD (posedge CLK) (1332:1332:1332))
        (RECOVERY (negedge SET) (posedge CLK) (375:375:375))
        (RECOVERY (negedge RST) (posedge CLK) (375:375:375))
        (WIDTH (posedge SET) (1331:1331:1331))
        (WIDTH (posedge RST) (1331:1331:1331))
      )
  )
  (CELL (CELLTYPE "X_OR2")
    (INSTANCE state_FFd10_FFX_SETOR)
      (DELAY
        (ABSOLUTE
          (PORT I0 (4854:4854:4854)(4854:4854:4854))
          (IOPATH I0 O (0:0:0)(0:0:0))
          (IOPATH I1 O (0:0:0)(0:0:0))
        )
      )
  )
  (CELL (CELLTYPE "X_FF")
    (INSTANCE state_FFd1_74)
      (DELAY
        (ABSOLUTE
          (IOPATH CLK O (494:494:494)(494:494:494))
          (IOPATH SET O (1121:1121:1121)(1121:1121:1121))
          (IOPATH RST O (1121:1121:1121)(1121:1121:1121))
        )
      )
      (TIMINGCHECK
        (SETUPHOLD (posedge I) (posedge CLK) (200:200:200) (36:36:36))
        (SETUPHOLD (negedge I) (posedge CLK) (200:200:200) (36:36:36))
        (SETUPHOLD (posedge CE) (posedge CLK) (104:104:104) (31:31:31))
        (SETUPHOLD (negedge CE) (posedge CLK) (104:104:104) (31:31:31))
        (PERIOD (posedge CLK) (1332:1332:1332))
        (RECOVERY (negedge SET) (posedge CLK) (375:375:375))
        (RECOVERY (negedge RST) (posedge CLK) (375:375:375))
        (WIDTH (posedge SET) (1331:1331:1331))
        (WIDTH (posedge RST) (1331:1331:1331))
      )
  )
  (CELL (CELLTYPE "X_OR2")
    (INSTANCE state_FFd2_FFY_RSTOR)
      (DELAY
        (ABSOLUTE
          (PORT I1 (4854:4854:4854)(4854:4854:4854))
          (IOPATH I0 O (0:0:0)(0:0:0))
          (IOPATH I1 O (0:0:0)(0:0:0))
        )
      )
  )
  (CELL (CELLTYPE "X_FF")
    (INSTANCE state_FFd2_75)
      (DELAY
        (ABSOLUTE
          (IOPATH CLK O (494:494:494)(494:494:494))
          (IOPATH SET O (1121:1121:1121)(1121:1121:1121))
          (IOPATH RST O (1121:1121:1121)(1121:1121:1121))
        )
      )
      (TIMINGCHECK
        (SETUPHOLD (posedge I) (posedge CLK) (200:200:200) (36:36:36))
        (SETUPHOLD (negedge I) (posedge CLK) (200:200:200) (36:36:36))
        (SETUPHOLD (posedge CE) (posedge CLK) (104:104:104) (31:31:31))
        (SETUPHOLD (negedge CE) (posedge CLK) (104:104:104) (31:31:31))
        (PERIOD (posedge CLK) (1332:1332:1332))
        (RECOVERY (negedge SET) (posedge CLK) (375:375:375))
        (RECOVERY (negedge RST) (posedge CLK) (375:375:375))
        (WIDTH (posedge SET) (1331:1331:1331))
        (WIDTH (posedge RST) (1331:1331:1331))
      )
  )
  (CELL (CELLTYPE "X_OR2")
    (INSTANCE state_FFd2_FFX_RSTOR)
      (DELAY
        (ABSOLUTE
          (PORT I1 (4854:4854:4854)(4854:4854:4854))
          (IOPATH I0 O (0:0:0)(0:0:0))
          (IOPATH I1 O (0:0:0)(0:0:0))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE INDSTATE_0_OUTPUT_OTCLK1INV_76)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (416:416:416)(416:416:416))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE INDSTATE_0_OUTPUT_OFF_OMUX)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (267:267:267)(267:267:267))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE INDSTATE_0_OUTPUT_OFF_OSR_USED_77)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (691:691:691)(691:691:691))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE INDSTATE_0_OUTPUT_OFF_O1INV_78)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (564:564:564)(564:564:564))
        )
      )
  )
  (CELL (CELLTYPE "X_SFF")
    (INSTANCE INDSTATE_0_79)
      (DELAY
        (ABSOLUTE
          (PORT SET (5975:5975:5975)(5975:5975:5975))
          (PORT RST (5975:5975:5975)(5975:5975:5975))
          (IOPATH CLK O (494:494:494)(494:494:494))
          (IOPATH SET O (494:494:494)(494:494:494))
          (IOPATH RST O (494:494:494)(494:494:494))
        )
      )
      (TIMINGCHECK
        (SETUPHOLD (posedge I) (posedge CLK) (200:200:200) (41:41:41))
        (SETUPHOLD (negedge I) (posedge CLK) (200:200:200) (41:41:41))
        (SETUP (posedge CE) (posedge CLK) (104:104:104))
        (SETUP (negedge CE) (posedge CLK) (104:104:104))
        (PERIOD (posedge CLK) (1332:1332:1332))
        (SETUPHOLD (posedge SSET) (posedge CLK) (200:200:200) (27:27:27))
        (SETUPHOLD (negedge SSET) (posedge CLK) (200:200:200) (27:27:27))
        (SETUPHOLD (posedge SRST) (posedge CLK) (200:200:200) (27:27:27))
        (SETUPHOLD (negedge SRST) (posedge CLK) (200:200:200) (27:27:27))
        (WIDTH (posedge SET) (1331:1331:1331))
        (WIDTH (posedge RST) (1331:1331:1331))
      )