idt70t3589.vhd

vhdl cod for ram.For sp3e

        VARIABLE Pviol_OENeg      : X01 := '0';
        VARIABLE PD_OENeg         : VitalPeriodDataType :=
                                                   VitalPeriodDataInit;

        VARIABLE Violation        : X01 := '0';

        VARIABLE TD_AL_CLK          : VitalTimingDataType;
        VARIABLE Tviol_AL_CLK       : X01 := '0';
        VARIABLE TD_AR_CLK          : VitalTimingDataType;
        VARIABLE Tviol_AR_CLK       : X01 := '0';
        VARIABLE TD_DL_CLK          : VitalTimingDataType;
        VARIABLE Tviol_DL_CLK       : X01 := '0';
        VARIABLE TD_DR_CLK          : VitalTimingDataType;
        VARIABLE Tviol_DR_CLK       : X01 := '0';
        VARIABLE TD_CEL_CLK         : VitalTimingDataType;
        VARIABLE Tviol_CEL_CLK      : X01 := '0';
        VARIABLE TD_CER_CLK         : VitalTimingDataType;
        VARIABLE Tviol_CER_CLK      : X01 := '0';
        VARIABLE TD_BEL_CLK         : VitalTimingDataType;
        VARIABLE Tviol_BEL_CLK      : X01 := '0';
        VARIABLE TD_BER_CLK         : VitalTimingDataType;
        VARIABLE Tviol_BER_CLK      : X01 := '0';
        VARIABLE TD_RWL_CLK         : VitalTimingDataType;
        VARIABLE Tviol_RWL_CLK      : X01 := '0';
        VARIABLE TD_RWR_CLK         : VitalTimingDataType;
        VARIABLE Tviol_RWR_CLK      : X01 := '0';
        VARIABLE TD_ADSL_CLK        : VitalTimingDataType;
        VARIABLE Tviol_ADSL_CLK     : X01 := '0';
        VARIABLE TD_ADSR_CLK        : VitalTimingDataType;
        VARIABLE Tviol_ADSR_CLK     : X01 := '0';
        VARIABLE TD_CNTL_CLK        : VitalTimingDataType;
        VARIABLE Tviol_CNTL_CLK     : X01 := '0';
        VARIABLE TD_CNTR_CLK        : VitalTimingDataType;
        VARIABLE Tviol_CNTR_CLK     : X01 := '0';
        VARIABLE TD_RPTL_CLK        : VitalTimingDataType;
        VARIABLE Tviol_RPTL_CLK     : X01 := '0';
        VARIABLE TD_RPTR_CLK        : VitalTimingDataType;
        VARIABLE Tviol_RPTR_CLK     : X01 := '0';
        VARIABLE TD_TDI_TCK         : VitalTimingDataType;
        VARIABLE Tviol_TDI_TCK      : X01 := '0';
        VARIABLE PD_CLKP            : VitalPeriodDataType :=
                                                   VitalPeriodDataInit;
        VARIABLE Pviol_CLKP         : X01 := '0';
        VARIABLE PD_CLKF            : VitalPeriodDataType :=
                                                   VitalPeriodDataInit;
        VARIABLE Pviol_CLKF         : X01 := '0';
        VARIABLE PD_CLKP1           : VitalPeriodDataType :=
                                                   VitalPeriodDataInit;
        VARIABLE Pviol_CLKP1        : X01 := '0';
        VARIABLE PD_CLKF1           : VitalPeriodDataType :=
                                                   VitalPeriodDataInit;
        VARIABLE Pviol_CLKF1        : X01 := '0';
        VARIABLE PD_TCK             : VitalPeriodDataType :=
                                                   VitalPeriodDataInit;
        VARIABLE Pviol_TCK          : X01 := '0';
        VARIABLE PD_TRST            : VitalPeriodDataType :=
                                                   VitalPeriodDataInit;
        VARIABLE Pviol_TRST         : X01 := '0';

    BEGIN
        IF TimingChecksOn THEN

            VitalSetupHoldCheck (
                TestSignal      => AddressL,
                TestSignalName  => "Left Address",
                RefSignal       => ClockL,
                RefSignalName   => "ClockL",
                SetupHigh       => tsetup_A0L_CLKL,
                SetupLow        => tsetup_A0L_CLKL,
                HoldHigh        => thold_A0L_CLKL,
                HoldLow         => thold_A0L_CLKL,
                CheckEnabled    => true,
                RefTransition   => '/',
                HeaderMsg       => InstancePath & PartID,
                TimingData      => TD_AL_CLK,
                XOn             => XOn,
                MsgOn           => MsgOn,
                Violation       => Tviol_AL_CLK );

            VitalSetupHoldCheck (
                TestSignal      => AddressR,
                TestSignalName  => "Right Address",
                RefSignal       => ClockR,
                RefSignalName   => "ClockR",
                SetupHigh       => tsetup_A0L_CLKL,
                SetupLow        => tsetup_A0L_CLKL,
                HoldHigh        => thold_A0L_CLKL,
                HoldLow         => thold_A0L_CLKL,
                CheckEnabled    => true,
                RefTransition   => '/',
                HeaderMsg       => InstancePath & PartID,
                TimingData      => TD_AR_CLK,
                XOn             => XOn,
                MsgOn           => MsgOn,
                Violation       => Tviol_AR_CLK );

            VitalSetupHoldCheck (
                TestSignal      => DataInL,
                TestSignalName  => "Left Data",
                RefSignal       => ClockL,
                RefSignalName   => "ClockL",
                SetupHigh       => tsetup_A0L_CLKL,
                SetupLow        => tsetup_A0L_CLKL,
                HoldHigh        => thold_A0L_CLKL,
                HoldLow         => thold_A0L_CLKL,
                CheckEnabled    => true,
                RefTransition   => '/',
                HeaderMsg       => InstancePath & PartID,
                TimingData      => TD_DL_CLK,
                XOn             => XOn,
                MsgOn           => MsgOn,
                Violation       => Tviol_DL_CLK );

            VitalSetupHoldCheck (
                TestSignal      => DataInR,
                TestSignalName  => "Right Data",
                RefSignal       => ClockR,
                RefSignalName   => "ClockR",
                SetupHigh       => tsetup_A0L_CLKL,
                SetupLow        => tsetup_A0L_CLKL,
                HoldHigh        => thold_A0L_CLKL,
                HoldLow         => thold_A0L_CLKL,
                CheckEnabled    => true,
                RefTransition   => '/',
                HeaderMsg       => InstancePath & PartID,
                TimingData      => TD_DR_CLK,
                XOn             => XOn,
                MsgOn           => MsgOn,
                Violation       => Tviol_DR_CLK );

            VitalSetupHoldCheck (
                TestSignal      => CEL,
                TestSignalName  => "CE Left",
                RefSignal       => ClockL,
                RefSignalName   => "ClockL",
                SetupHigh       => tsetup_A0L_CLKL,
                SetupLow        => tsetup_A0L_CLKL,
                HoldHigh        => thold_A0L_CLKL,
                HoldLow         => thold_A0L_CLKL,
                CheckEnabled    => true,
                RefTransition   => '/',
                HeaderMsg       => InstancePath & PartID,
                TimingData      => TD_CEL_CLK,
                XOn             => XOn,
                MsgOn           => MsgOn,
                Violation       => Tviol_CEL_CLK );

            VitalSetupHoldCheck (
                TestSignal      => CER,
                TestSignalName  => "CE Right",
                RefSignal       => ClockR,
                RefSignalName   => "ClockR",
                SetupHigh       => tsetup_A0L_CLKL,
                SetupLow        => tsetup_A0L_CLKL,
                HoldHigh        => thold_A0L_CLKL,
                HoldLow         => thold_A0L_CLKL,
                CheckEnabled    => true,
                RefTransition   => '/',
                HeaderMsg       => InstancePath & PartID,
                TimingData      => TD_CER_CLK,
                XOn             => XOn,
                MsgOn           => MsgOn,
                Violation       => Tviol_CER_CLK );

            VitalSetupHoldCheck (
                TestSignal      => BENegL,
                TestSignalName  => "BE Left",
                RefSignal       => ClockL,
                RefSignalName   => "ClockL",
                SetupHigh       => tsetup_A0L_CLKL,
                SetupLow        => tsetup_A0L_CLKL,
                HoldHigh        => thold_A0L_CLKL,
                HoldLow         => thold_A0L_CLKL,
                CheckEnabled    => true,
                RefTransition   => '/',
                HeaderMsg       => InstancePath & PartID,
                TimingData      => TD_BEL_CLK,
                XOn             => XOn,
                MsgOn           => MsgOn,
                Violation       => Tviol_BEL_CLK );

            VitalSetupHoldCheck (
                TestSignal      => BENegR,
                TestSignalName  => "BE Right",
                RefSignal       => ClockR,
                RefSignalName   => "ClockR",
                SetupHigh       => tsetup_A0L_CLKL,
                SetupLow        => tsetup_A0L_CLKL,
                HoldHigh        => thold_A0L_CLKL,
                HoldLow         => thold_A0L_CLKL,
                CheckEnabled    => true,
                RefTransition   => '/',
                HeaderMsg       => InstancePath & PartID,
                TimingData      => TD_BER_CLK,
                XOn             => XOn,
                MsgOn           => MsgOn,
                Violation       => Tviol_BER_CLK );

            VitalSetupHoldCheck (
                TestSignal      => RWL,
                TestSignalName  => "R/W Left",
                RefSignal       => ClockL,
                RefSignalName   => "ClockL",
                SetupHigh       => tsetup_A0L_CLKL,
                SetupLow        => tsetup_A0L_CLKL,
                HoldHigh        => thold_A0L_CLKL,
                HoldLow         => thold_A0L_CLKL,
                CheckEnabled    => true,
                RefTransition   => '/',
                HeaderMsg       => InstancePath & PartID,
                TimingData      => TD_RWL_CLK,
                XOn             => XOn,
                MsgOn           => MsgOn,
                Violation       => Tviol_RWL_CLK );

            VitalSetupHoldCheck (
                TestSignal      => RWR,
                TestSignalName  => "R/W Right",
                RefSignal       => ClockR,
                RefSignalName   => "ClockR",
                SetupHigh       => tsetup_A0L_CLKL,
                SetupLow        => tsetup_A0L_CLKL,
                HoldHigh        => thold_A0L_CLKL,
                HoldLow         => thold_A0L_CLKL,
                CheckEnabled    => true,
                RefTransition   => '/',
                HeaderMsg       => InstancePath & PartID,
                TimingData      => TD_RWR_CLK,
                XOn             => XOn,
                MsgOn           => MsgOn,
                Violation       => Tviol_RWR_CLK );

            VitalSetupHoldCheck (
                TestSignal      => ADSNegL,
                TestSignalName  => "ADS Left",
                RefSignal       => ClockL,
                RefSignalName   => "ClockL",
                SetupHigh       => tsetup_A0L_CLKL,
                SetupLow        => tsetup_A0L_CLKL,
                HoldHigh        => thold_A0L_CLKL,
                HoldLow         => thold_A0L_CLKL,
                CheckEnabled    => true,
                RefTransition   => '/',
                HeaderMsg       => InstancePath & PartID,
                TimingData      => TD_ADSL_CLK,
                XOn             => XOn,
                MsgOn           => MsgOn,
                Violation       => Tviol_ADSL_CLK );

            VitalSetupHoldCheck (
                TestSignal      => ADSNegR,
                TestSignalName  => "ADS Right",
                RefSignal       => ClockR,
                RefSignalName   => "ClockR",
                SetupHigh       => tsetup_A0L_CLKL,
                SetupLow        => tsetup_A0L_CLKL,
                HoldHigh        => thold_A0L_CLKL,
                HoldLow         => thold_A0L_CLKL,