testmachine_timesim.sdf

VHDL source code for test machine.

  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE INDSTATE_1_OUTPUT_OTCLK1INV_80)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (426:426:426)(426:426:426))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE INDSTATE_1_OUTPUT_OFF_OMUX)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (267:267:267)(267:267:267))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE INDSTATE_1_OUTPUT_OFF_O1INV_81)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (1415:1415:1415)(1415:1415:1415))
        )
      )
  )
  (CELL (CELLTYPE "X_FF")
    (INSTANCE INDSTATE_1_82)
      (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) (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))
        (RECOVERY (negedge SET) (posedge CLK) (375:375:375))
        (RECOVERY (negedge RST) (posedge CLK) (375:375:375))
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE INDSTATE_1_OUTPUT_OFF_OFF1_RSTOR)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (4854:4854:4854)(4854:4854:4854))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE INDSTATE_2_OUTPUT_OTCLK1INV_83)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (416:416:416)(416:416:416))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE INDSTATE_2_OUTPUT_OFF_OMUX)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (267:267:267)(267:267:267))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE INDSTATE_2_OUTPUT_OFF_OSR_USED_84)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (655:655:655)(655:655:655))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE INDSTATE_2_OUTPUT_OFF_O1INV_85)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (830:830:830)(830:830:830))
        )
      )
  )
  (CELL (CELLTYPE "X_SFF")
    (INSTANCE INDSTATE_2_86)
      (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))
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE INDSTATE_3_OUTPUT_OTCLK1INV_87)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (417:417:417)(417:417:417))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE INDSTATE_3_OUTPUT_OFF_OMUX)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (267:267:267)(267:267:267))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE INDSTATE_3_OUTPUT_OFF_OSR_USED_88)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (860:860:860)(860:860:860))
        )
      )
  )
  (CELL (CELLTYPE "X_BUF_PP")
    (INSTANCE INDSTATE_3_OUTPUT_OFF_O1INV_89)
      (DELAY
        (ABSOLUTE
          (IOPATH I O (826:826:826)(826:826:826))
        )
      )
  )
  (CELL (CELLTYPE "X_SFF")
    (INSTANCE INDSTATE_3_90)
      (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))
      )
  )
  (CELL (CELLTYPE "X_LUT4")
    (INSTANCE Q_n001311)
      (DELAY
        (ABSOLUTE
          (PORT ADR0 (496:496:496)(496:496:496))
          (PORT ADR1 (703:703:703)(703:703:703))
          (PORT ADR2 (24:24:24)(24:24:24))
          (PORT ADR3 (347:347:347)(347:347:347))
          (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_n0016_SW0)
      (DELAY
        (ABSOLUTE
          (PORT ADR0 (1014:1014:1014)(1014:1014:1014))
          (PORT ADR1 (428:428:428)(428:428:428))
          (PORT ADR2 (270:270:270)(270:270:270))
          (PORT ADR3 (320:320:320)(320:320:320))
          (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 ResetCalc_91)
      (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 Q_n0014641)
      (DELAY
        (ABSOLUTE
          (PORT ADR0 (564:564:564)(564:564:564))
          (PORT ADR1 (157:157:157)(157:157:157))
          (PORT ADR2 (251:251:251)(251:251:251))
          (PORT ADR3 (585:585:585)(585:585:585))
          (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 state_Out1311)
      (DELAY
        (ABSOLUTE
          (PORT ADR0 (501:501:501)(501:501:501))
          (PORT ADR1 (448:448:448)(448:448:448))
          (PORT ADR2 (280:280:280)(280:280:280))
          (PORT ADR3 (225:225:225)(225:225:225))
          (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_n00161)
      (DELAY
        (ABSOLUTE
          (PORT ADR0 (464:464:464)(464:464:464))
          (PORT ADR2 (286:286:286)(286:286:286))
          (PORT ADR3 (2:2:2)(2:2:2))
          (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_FFd3_92)
      (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_FFd4_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 state_FFd4_In1)
      (DELAY
        (ABSOLUTE
          (PORT ADR1 (431:431:431)(431:431:431))
          (PORT ADR2 (534:534:534)(534:534:534))
          (PORT ADR3 (535:535:535)(535:535:535))
          (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_FFd4_93)
      (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_FFd4_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_FF")
    (INSTANCE state_FFd5_94)
      (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_FFd6_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_FFd6_95)
      (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_FFd6_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_FFd8_In1)
      (DELAY
        (ABSOLUTE
          (PORT ADR1 (939:939:939)(939:939:939))
          (PORT ADR3 (330:330:330)(330:330:330))
          (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_n001415)
      (DELAY
        (ABSOLUTE
          (PORT ADR0 (974:974:974)(974:974:974))
          (PORT ADR1 (606:606:606)(606:606:606))
          (PORT ADR2 (316:316:316)(316:316:316))
          (PORT ADR3 (426:426:426)(426:426:426))
          (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_n001430)
      (DELAY
        (ABSOLUTE
          (PORT ADR0 (777:777:777)(777:777:777))
          (PORT ADR1 (418:418:418)(418:418:418))
          (PORT ADR2 (647:647:647)(647:647:647))
          (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))
        )
      )