idt723644.vhd

VHDL的ram和fifo model code 包含众多的厂家

          CheckEnabled    => True,
          RefTransition   => '/',
          HeaderMsg       => InstancePath & partID,
          TimingData      => TD_CSBNeg_CLKB,
          XOn             => XOn,
          MsgOn           => MsgOn,
          Violation       => Tviol_CSBNeg_CLKB);

      -- WRB/CLKB setup/hold time check

      VitalSetupHoldCheck (
          TestSignal      => WRB,
          TestSignalName  => "WRB",
          RefSignal       => CLKB,
          RefSignalName   => "CLKB",
          SetupHigh       => tENS,
          SetupLow        => tENS,
          HoldHigh        => tENH,
          HoldLow         => tENH,
          CheckEnabled    => True,
          RefTransition   => '/',
          HeaderMsg       => InstancePath & partID,
          TimingData      => TD_WRB_CLKB,
          XOn             => XOn,
          MsgOn           => MsgOn,
          Violation       => Tviol_WRB_CLKB);

      -- ENB/CLKB setup/hold time check

      VitalSetupHoldCheck (
          TestSignal      => ENB,
          TestSignalName  => "ENB",
          RefSignal       => CLKB,
          RefSignalName   => "CLKB",
          SetupHigh       => tENS,
          SetupLow        => tENS,
          HoldHigh        => tENH,
          HoldLow         => tENH,
          CheckEnabled    => True,
          RefTransition   => '/',
          HeaderMsg       => InstancePath & partID,
          TimingData      => TD_ENB_CLKB,
          XOn             => XOn,
          MsgOn           => MsgOn,
          Violation       => Tviol_ENB_CLKB);

      -- MBB/CLKB setup/hold time check

      VitalSetupHoldCheck (
          TestSignal      => MBB,
          TestSignalName  => "MBB",
          RefSignal       => CLKB,
          RefSignalName   => "CLKB",
          SetupHigh       => tENS,
          SetupLow        => tENS,
          HoldHigh        => tENH,
          HoldLow         => tENH,
          CheckEnabled    => True,
          RefTransition   => '/',
          HeaderMsg       => InstancePath & partID,
          TimingData      => TD_MBB_CLKB,
          XOn             => XOn,
          MsgOn           => MsgOn,
          Violation       => Tviol_MBB_CLKB);

      -- ENB/CLKB setup/hold time check

      VitalSetupHoldCheck (
          TestSignal      => ENB,
          TestSignalName  => "ENB",
          RefSignal       => CLKB,
          RefSignalName   => "CLKB",
          SetupHigh       => tENS,
          SetupLow        => tENS,
          HoldHigh        => tENH,
          HoldLow         => tENH,
          CheckEnabled    => True,
          RefTransition   => '/',
          HeaderMsg       => InstancePath & partID,
          TimingData      => TD_ENB_CLKB,
          XOn             => XOn,
          MsgOn           => MsgOn,
          Violation       => Tviol_ENB_CLKB);

      -- MBB/CLKB setup/hold time check

      VitalSetupHoldCheck (
          TestSignal      => MBB,
          TestSignalName  => "MBB",
          RefSignal       => CLKB,
          RefSignalName   => "CLKB",
          SetupHigh       => tENS,
          SetupLow        => tENS,
          HoldHigh        => tENH,
          HoldLow         => tENH,
          CheckEnabled    => True,
          RefTransition   => '/',
          HeaderMsg       => InstancePath & partID,
          TimingData      => TD_MBB_CLKB,
          XOn             => XOn,
          MsgOn           => MsgOn,
          Violation       => Tviol_MBB_CLKB);

      -- MRS1Neg/CLKA setup/hold time check

      VitalSetupHoldCheck (
          TestSignal      => MRS1Neg,
          TestSignalName  => "MRS1Neg",
          RefSignal       => CLKA,
          RefSignalName   => "CLKA",
          SetupHigh       => tRSTS,
          SetupLow        => tRSTS,
          HoldHigh        => tRSTH,
          HoldLow         => tRSTH,
          CheckEnabled    => True,
          RefTransition   => '/',
          HeaderMsg       => InstancePath & partID,
          TimingData      => TD_MRS1Neg_CLKA,
          XOn             => XOn,
          MsgOn           => MsgOn,
          Violation       => Tviol_MRS1Neg_CLKA);

      -- MRS1Neg/CLKB setup/hold time check

      VitalSetupHoldCheck (
          TestSignal      => MRS1Neg,
          TestSignalName  => "MRS1Neg",
          RefSignal       => CLKB,
          RefSignalName   => "CLKB",
          SetupHigh       => tRSTS,
          SetupLow        => tRSTS,
          HoldHigh        => tRSTH,
          HoldLow         => tRSTH,
          CheckEnabled    => True,
          RefTransition   => '/',
          HeaderMsg       => InstancePath & partID,
          TimingData      => TD_MRS1Neg_CLKB,
          XOn             => XOn,
          MsgOn           => MsgOn,
          Violation       => Tviol_MRS1Neg_CLKB);

      -- MRS2Neg/CLKA setup/hold time check

      VitalSetupHoldCheck (
          TestSignal      => MRS2Neg,
          TestSignalName  => "MRS2Neg",
          RefSignal       => CLKA,
          RefSignalName   => "CLKA",
          SetupHigh       => tRSTS,
          SetupLow        => tRSTS,
          HoldHigh        => tRSTH,
          HoldLow         => tRSTH,
          CheckEnabled    => True,
          RefTransition   => '/',
          HeaderMsg       => InstancePath & partID,
          TimingData      => TD_MRS2Neg_CLKA,
          XOn             => XOn,
          MsgOn           => MsgOn,
          Violation       => Tviol_MRS2Neg_CLKA);

      -- MRS2Neg/CLKB setup/hold time check

      VitalSetupHoldCheck (
          TestSignal      => MRS2Neg,
          TestSignalName  => "MRS2Neg",
          RefSignal       => CLKB,
          RefSignalName   => "CLKB",
          SetupHigh       => tRSTS,
          SetupLow        => tRSTS,
          HoldHigh        => tRSTH,
          HoldLow         => tRSTH,
          CheckEnabled    => True,
          RefTransition   => '/',
          HeaderMsg       => InstancePath & partID,
          TimingData      => TD_MRS2Neg_CLKB,
          XOn             => XOn,
          MsgOn           => MsgOn,
          Violation       => Tviol_MRS2Neg_CLKB);

      -- PRS1Neg/CLKA setup/hold time check

      VitalSetupHoldCheck (
          TestSignal      => PRS1Neg,
          TestSignalName  => "PRS1Neg",
          RefSignal       => CLKA,
          RefSignalName   => "CLKA",
          SetupHigh       => tRSTS,
          SetupLow        => tRSTS,
          HoldHigh        => tRSTH,
          HoldLow         => tRSTH,
          CheckEnabled    => True,
          RefTransition   => '/',
          HeaderMsg       => InstancePath & partID,
          TimingData      => TD_PRS1Neg_CLKA,
          XOn             => XOn,
          MsgOn           => MsgOn,
          Violation       => Tviol_PRS1Neg_CLKA);

      -- PRS1Neg/CLKB setup/hold time check

      VitalSetupHoldCheck (
          TestSignal      => PRS1Neg,
          TestSignalName  => "PRS1Neg",
          RefSignal       => CLKB,
          RefSignalName   => "CLKB",
          SetupHigh       => tRSTS,
          SetupLow        => tRSTS,
          HoldHigh        => tRSTH,
          HoldLow         => tRSTH,
          CheckEnabled    => True,
          RefTransition   => '/',
          HeaderMsg       => InstancePath & partID,
          TimingData      => TD_PRS1Neg_CLKB,
          XOn             => XOn,
          MsgOn           => MsgOn,
          Violation       => Tviol_PRS1Neg_CLKB);

      -- PRS2Neg/CLKA setup/hold time check

      VitalSetupHoldCheck (
          TestSignal      => PRS2Neg,
          TestSignalName  => "PRS2Neg",
          RefSignal       => CLKA,
          RefSignalName   => "CLKA",
          SetupHigh       => tRSTS,
          SetupLow        => tRSTS,
          HoldHigh        => tRSTH,
          HoldLow         => tRSTH,
          CheckEnabled    => True,
          RefTransition   => '/',
          HeaderMsg       => InstancePath & partID,
          TimingData      => TD_PRS2Neg_CLKA,
          XOn             => XOn,
          MsgOn           => MsgOn,
          Violation       => Tviol_PRS2Neg_CLKA);

      -- PRS2Neg/CLKB setup/hold time check

      VitalSetupHoldCheck (
          TestSignal      => PRS2Neg,
          TestSignalName  => "PRS2Neg",
          RefSignal       => CLKB,
          RefSignalName   => "CLKB",
          SetupHigh       => tRSTS,
          SetupLow        => tRSTS,
          HoldHigh        => tRSTH,
          HoldLow         => tRSTH,
          CheckEnabled    => True,
          RefTransition   => '/',
          HeaderMsg       => InstancePath & partID,
          TimingData      => TD_PRS2Neg_CLKB,
          XOn             => XOn,
          MsgOn           => MsgOn,
          Violation       => Tviol_PRS2Neg_CLKB);

      -- FS0SD/MRS1Neg setup/hold time check

      VitalSetupHoldCheck (
          TestSignal      => FS0SD,
          TestSignalName  => "FS0SD",
          RefSignal       => MRS1Neg,
          RefSignalName   => "MRS1Neg",
          SetupHigh       => tFSS,
          SetupLow        => tFSS,
          HoldHigh        => tFSH,
          HoldLow         => tFSH,
          CheckEnabled    => True,
          RefTransition   => '/',
          HeaderMsg       => InstancePath & partID,
          TimingData      => TD_FS0SD_MRS1Neg,
          XOn             => XOn,
          MsgOn           => MsgOn,
          Violation       => Tviol_FS0SD_MRS1Neg);

      -- FS1SEN/MRS1Neg setup/hold time check

      VitalSetupHoldCheck (
          TestSignal      => FS1SEN,
          TestSignalName  => "FS1SEN",
          RefSignal       => MRS1Neg,
          RefSignalName   => "MRS1Neg",
          SetupHigh       => tFSS,
          SetupLow        => tFSS,
          HoldHigh        => tFSH,
          HoldLow         => tFSH,
          CheckEnabled    => True,
          RefTransition   => '/',
          HeaderMsg       => InstancePath & partID,
          TimingData      => TD_FS1SEN_MRS1Neg,
          XOn             => XOn,
          MsgOn           => MsgOn,
          Violation       => Tviol_FS1SEN_MRS1Neg);

      -- FS0SD/MRS2Neg setup/hold time check

      VitalSetupHoldCheck (
          TestSignal      => FS0SD,
          TestSignalName  => "FS0SD",
          RefSignal       => MRS2Neg,
          RefSignalName   => "MRS2Neg",
          SetupHigh       => tFSS,
          SetupLow        => tFSS,
          HoldHigh        => tFSH,
          HoldLow         => tFSH,
          CheckEnabled    => True,
          RefTransition   => '/',
          HeaderMsg       => InstancePath & partID,
          TimingData      => TD_FS0SD_MRS2Neg,
          XOn             => XOn,
          MsgOn           => MsgOn,
          Violation       => Tviol_FS0SD_MRS2Neg);

      -- FS1SEN/MRS2Neg setup/hold time check

      VitalSetupHoldCheck (
          TestSignal      => FS1SEN,
          TestSignalName  => "FS1SEN",
          RefSignal       => MRS2Neg,
          RefSignalName   => "MRS2Neg",
          SetupHigh       => tFSS,
          SetupLow        => tFSS,
          HoldHigh        => tFSH,
          HoldLow         => tFSH,
          CheckEnabled    => True,
          RefTransition   => '/',
          HeaderMsg       => Instan