idt723624.vhd

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

          HoldLow         => tENH,
          CheckEnabled    => True,
          RefTransition   => '/',
          HeaderMsg       => InstancePath & partID,
          TimingData      => TD_WRA_CLKA,
          XOn             => XOn,
          MsgOn           => MsgOn,
          Violation       => Tviol_WRA_CLKA);

      -- ENA/CLKA setup/hold time check

      VitalSetupHoldCheck (
          TestSignal      => ENA,
          TestSignalName  => "ENA",
          RefSignal       => CLKA,
          RefSignalName   => "CLKA",
          SetupHigh       => tENS,
          SetupLow        => tENS,
          HoldHigh        => tENH,
          HoldLow         => tENH,
          CheckEnabled    => True,
          RefTransition   => '/',
          HeaderMsg       => InstancePath & partID,
          TimingData      => TD_ENA_CLKA,
          XOn             => XOn,
          MsgOn           => MsgOn,
          Violation       => Tviol_ENA_CLKA);

      -- MBA/CLKA setup/hold time check

      VitalSetupHoldCheck (
          TestSignal      => MBA,
          TestSignalName  => "MBA",
          RefSignal       => CLKA,
          RefSignalName   => "CLKA",
          SetupHigh       => tENS,
          SetupLow        => tENS,
          HoldHigh        => tENH,
          HoldLow         => tENH,
          CheckEnabled    => True,
          RefTransition   => '/',
          HeaderMsg       => InstancePath & partID,
          TimingData      => TD_MBA_CLKA,
          XOn             => XOn,
          MsgOn           => MsgOn,
          Violation       => Tviol_MBA_CLKA);

      -- CSBNeg/CLKB setup/hold time check

      VitalSetupHoldCheck (
          TestSignal      => CSBNeg,
          TestSignalName  => "CSBNeg",
          RefSignal       => CLKB,
          RefSignalName   => "CLKB",
          SetupLow        => tENS,
          SetupHigh       => tENS,
          HoldLow         => tENH,
          HoldHigh        => tENH,
          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,