idt723626.vhd

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

          MsgOn           => MsgOn,
          Violation       => Tviol_MRS2Neg_CLKA);

      -- MRS2Neg/CLKC setup/hold time check

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

      -- 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/CLKC setup/hold time check

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

      -- 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       => InstancePath & partID,
          TimingData      => TD_FS1SEN_MRS2Neg,
          XOn             => XOn,
          MsgOn           => MsgOn,
          Violation       => Tviol_FS1SEN_MRS2Neg);

      -- BEFWFT/MRS1Neg setup/hold time check

      VitalSetupHoldCheck (
          TestSignal      => BEFWFT,
          TestSignalName  => "BEFWFT",
          RefSignal       => MRS1Neg,
          RefSignalName   => "MRS1Neg",
          SetupHigh       => tBES,
          SetupLow        => tBES,
          HoldHigh        => tBEH,
          HoldLow         => tBEH,
          CheckEnabled    => True,
          RefTransition   => '/',
          HeaderMsg       => InstancePath & partID,
          TimingData      => TD_BEFWFT_MRS1Neg,
          XOn             => XOn,
          MsgOn           => MsgOn,
          Violation       => Tviol_BEFWFT_MRS1Neg);

      -- BEFWFT/MRS2Neg setup/hold time check

      VitalSetupHoldCheck (
          TestSignal      => BEFWFT,
          TestSignalName  => "BEFWFT",
          RefSignal       => MRS2Neg,
          RefSignalName   => "MRS2Neg",
          SetupHigh       => tBES,
          SetupLow        => tBES,
          HoldHigh        => tBEH,
          HoldLow         => tBEH,
          CheckEnabled    => True,
          RefTransition   => '/',
          HeaderMsg       => InstancePath & partID,
          TimingData      => TD_BEFWFT_MRS2Neg,
          XOn             => XOn,
          MsgOn           => MsgOn,
          Violation       => Tviol_BEFWFT_MRS2Neg);

      -- SPMNeg/MRS1Neg setup/hold time check

      VitalSetupHoldCheck (
          TestSignal      => SPMNeg,
          TestSignalName  => "SPMNeg",
          RefSignal       => MRS1Neg,
          RefSignalName   => "MRS1Neg",
          SetupHigh       => tSPMS,
          SetupLow        => tSPMS,
          HoldHigh        => tSPMH,
          HoldLow         => tSPMH,
          CheckEnabled    => True,
          RefTransition   => '/',
          HeaderMsg       => InstancePath & partID,
          TimingData      => TD_SPMNeg_MRS1Neg,
          XOn             => XOn,
          MsgOn           => MsgOn,
          Violation       => Tviol_SPMNeg_MRS1Neg);

      -- SPMNeg/MRS1Neg setup/hold time check

      VitalSetupHoldCheck (
          TestSignal      => SPMNeg,
          TestSignalName  => "SPMNeg",
          RefSignal       => MRS2Neg,
          RefSignalName   => "MRS2Neg",
          SetupHigh       => tSPMS,
          SetupLow        => tSPMS,
          HoldHigh        => tSPMH,
          HoldLow         => tSPMH,
          CheckEnabled    => True,
          RefTransition   => '/',
          HeaderMsg       => InstancePath & partID,
          TimingData      => TD_SPMNeg_MRS2Neg,
          XOn             => XOn,
          MsgOn           => MsgOn,
          Violation       => Tviol_SPMNeg_MRS2Neg);
          
      -- FS0SD/CLKA setup/hold time check

      VitalSetupHoldCheck (
          TestSignal      => FS0SD,
          TestSignalName  => "FS0SD",
          RefSignal       => CLKA,
          RefSignalName   => "CLKA",
          SetupHigh       => tSDS,
          SetupLow        => tSDS,
          HoldHigh        => tSDH,
          HoldLow         => tSDH,
          CheckEnabled    => Offs_Ser_Load_Modeint = '1',
          RefTransition   => '/',
          HeaderMsg       => InstancePath & partID,
          TimingData      => TD_FS0SD_CLKA,
          XOn             => XOn,
          MsgOn           => MsgOn,
          Violation       => Tviol_FS0SD_CLKA);

      -- FS1SEN/CLKA setup/hold time check

      VitalSetupHoldCheck (
          TestSignal      => FS1SEN,
          TestSignalName  => "FS1SEN",
          RefSignal       => CLKA,
          RefSignalName   => "CLKA",
          SetupHigh       => tSENS,
          SetupLow        => tSENS,
          HoldHigh        => tSENH,
          HoldLow         => tSENH,
          CheckEnabled    => Offs_Ser_Load_Modeint = '1',
          RefTransition   => '/',
          HeaderMsg       => InstancePath & partID,
          TimingData      => TD_FS1SEN_CLKA,
          XOn             => XOn,
          MsgOn           => MsgOn,
          Violation       => Tviol_FS1SEN_CLKA);

      -- BEFWFT/CLKA setup/hold time check

      VitalSetupHoldCheck (
          TestSignal      => BEFWFT,
          TestSignalName  => "BEFWFT",
          RefSignal       => CLKA,
          RefSignalName   => "CLKA",
          SetupHigh       => tFWS,
          SetupLow        => tFWS,
          CheckEnabled    => True,
          RefTransition   => '/',
          HeaderMsg       => InstancePath & partID,
          TimingData      => TD_BEFWFT_CLKA,
          XOn             => XOn,
          MsgOn           => MsgOn,
          Violation       => Tviol_BEFWFT_CLKA);

  Violation := Pviol_CLKA          	OR
               Pviol_CLKB          	OR
               Pviol_CLKC          	OR
               Tviol_A0_CLKA       	OR
               TViol_C0_CLKC       	OR
               Tviol_CSANeg_CLKA   	OR
               Tviol_WRA_CLKA      	OR
               Tviol_ENA_CLKA      	OR
               Tviol_MBA_CLKA      	OR      
               Tviol_RENB_CLKB        	OR
               Tviol_MBB_CLKB       	OR
               Tviol_WENC_CLKC       	OR
               Tviol_MBC_CLKC       	OR
               Tviol_MRS1Neg_CLKA      	OR
               Tviol_MRS1Neg_CLKB      	OR
               Tviol_MRS2Neg_CLKA       OR
               Tviol_MRS2Neg_CLKC       OR
               Tviol_PRS1Neg_CLKA       OR
               Tviol_PRS1Neg_CLKB       OR
               Tviol_PRS2Neg_CLKA       OR
               Tviol_PRS2Neg_CLKC       OR
               Tviol_FS0SD_MRS1Neg      OR
               Tviol_FS1SEN_MRS1Neg     OR
               Tviol_FS0SD_MRS2Neg      OR
               Tviol_FS1SEN_MRS2Neg     OR
               Tviol_BEFWFT_MRS1Neg     OR
               Tviol_BEFWFT_MRS2Neg     OR
               Tviol_SPMNeg_MRS1Neg     OR
               Tviol_SPMNeg_MRS2Neg     OR
               Tviol_FS0SD_CLKA