mt47h256m4.vhd

vhdl cod for ram.For sp3e

        VARIABLE PD_CSNeg6         : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_RASNeg3     : X01 := '0';
        VARIABLE PD_RASNeg3        : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_RASNeg4     : X01 := '0';
        VARIABLE PD_RASNeg4        : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_RASNeg5     : X01 := '0';
        VARIABLE PD_RASNeg5        : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_RASNeg6     : X01 := '0';
        VARIABLE PD_RASNeg6        : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_CASNeg3     : X01 := '0';
        VARIABLE PD_CASNeg3        : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_CASNeg4     : X01 := '0';
        VARIABLE PD_CASNeg4        : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_CASNeg5     : X01 := '0';
        VARIABLE PD_CASNeg5        : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_CASNeg6     : X01 := '0';
        VARIABLE PD_CASNeg6        : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_WENeg3      : X01 := '0';
        VARIABLE PD_WENeg3         : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_WENeg4      : X01 := '0';
        VARIABLE PD_WENeg4         : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_WENeg5      : X01 := '0';
        VARIABLE PD_WENeg5         : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_WENeg6      : X01 := '0';
        VARIABLE PD_WENeg6         : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DQ03        : X01 := '0';
        VARIABLE PD_DQ03           : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DQ04        : X01 := '0';
        VARIABLE PD_DQ04           : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DQ05        : X01 := '0';
        VARIABLE PD_DQ05           : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DQ06        : X01 := '0';
        VARIABLE PD_DQ06           : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DM3         : X01 := '0';
        VARIABLE PD_DM3            : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DM4         : X01 := '0';
        VARIABLE PD_DM4            : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DM5         : X01 := '0';
        VARIABLE PD_DM5            : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DM6         : X01 := '0';
        VARIABLE PD_DM6            : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DQS13       : X01 := '0';
        VARIABLE PD_DQS13          : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DQS14       : X01 := '0';
        VARIABLE PD_DQS14          : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DQS15       : X01 := '0';
        VARIABLE PD_DQS15          : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DQS16       : X01 := '0';
        VARIABLE PD_DQS16          : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DQS113      : X01 := '0';
        VARIABLE PD_DQS113         : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DQS114      : X01 := '0';
        VARIABLE PD_DQS114         : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DQS115      : X01 := '0';
        VARIABLE PD_DQS115         : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DQS116      : X01 := '0';
        VARIABLE PD_DQS116         : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DQS23       : X01 := '0';
        VARIABLE PD_DQS23          : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DQS24       : X01 := '0';
        VARIABLE PD_DQS24          : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DQS25       : X01 := '0';
        VARIABLE PD_DQS25          : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DQS26       : X01 := '0';
        VARIABLE PD_DQS26          : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DQS213      : X01 := '0';
        VARIABLE PD_DQS213         : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DQS214      : X01 := '0';
        VARIABLE PD_DQS214         : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DQS215      : X01 := '0';
        VARIABLE PD_DQS215         : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DQS216      : X01 := '0';
        VARIABLE PD_DQS216         : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DQS33       : X01 := '0';
        VARIABLE PD_DQS33          : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DQS34       : X01 := '0';
        VARIABLE PD_DQS34          : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DQS35       : X01 := '0';
        VARIABLE PD_DQS35          : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DQS36       : X01 := '0';
        VARIABLE PD_DQS36          : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DQS313      : X01 := '0';
        VARIABLE PD_DQS313         : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DQS314      : X01 := '0';
        VARIABLE PD_DQS314         : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DQS315      : X01 := '0';
        VARIABLE PD_DQS315         : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_DQS316      : X01 := '0';
        VARIABLE PD_DQS316         : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_CK3         : X01 := '0';
        VARIABLE PD_CK3            : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_CK4         : X01 := '0';
        VARIABLE PD_CK4            : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_CK5         : X01 := '0';
        VARIABLE PD_CK5            : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Pviol_CK6         : X01 := '0';
        VARIABLE PD_CK6            : VitalPeriodDataType := VitalPeriodDataInit;

        VARIABLE Violation         : X01 := '0';

    BEGIN

    ----------------------------------------------------------------------------
    -- Timing Check Section
    ----------------------------------------------------------------------------
    IF (TimingChecksOn) THEN

        -- Setup/Hold Check between DQIn and DQSDiff
        VitalSetupHoldCheck (
            TestSignal      => DQIn,
            TestSignalName  => "DQIn",
            RefSignal       => DQSDiff,
            RefSignalName   => "DQSDiff",
            SetupHigh       => tsetup_DQ0_DQS,
            SetupLow        => tsetup_DQ0_DQS,
            HoldHigh        => thold_DQ0_DQS,
            HoldLow         => thold_DQ0_DQS,
            CheckEnabled    => DQIn /= DQOut_zd AND EMR(10) = '0',
            RefTransition   => '/',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_DQ0_DQS,
            Violation       => Tviol_DQ0_DQS
        );

        -- Setup/Hold Check between DQIn and DQSIn
        VitalSetupHoldCheck (
            TestSignal      => DQIn,
            TestSignalName  => "DQIn",
            RefSignal       => DQSIn,
            RefSignalName   => "DQSIn",
            SetupHigh       => tsetup_DQ0_DQS,
            SetupLow        => tsetup_DQ0_DQS,
            HoldHigh        => thold_DQ0_DQS,
            HoldLow         => thold_DQ0_DQS,
            CheckEnabled    => DQIn /= DQOut_zd,
            RefTransition   => '/',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_DQ0_DQS1,
            Violation       => Tviol_DQ0_DQS1
        );

        -- Setup/Hold Check between DQIn and DQSDiff
        VitalSetupHoldCheck (
            TestSignal      => DQIn,
            TestSignalName  => "DQIn",
            RefSignal       => DQSDiff,
            RefSignalName   => "DQSDiff",
            SetupHigh       => tsetup_DQ0_DQS,
            SetupLow        => tsetup_DQ0_DQS,
            HoldHigh        => thold_DQ0_DQS,
            HoldLow         => thold_DQ0_DQS,
            CheckEnabled    => DQIn /= DQOut_zd AND EMR(10) = '0',
            RefTransition   => '\',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_DQ1_DQS,
            Violation       => Tviol_DQ1_DQS
        );

        -- Setup/Hold Check between DQIn and DQSIn
        VitalSetupHoldCheck (
            TestSignal      => DQIn,
            TestSignalName  => "DQIn",
            RefSignal       => DQSIn,
            RefSignalName   => "DQSIn",
            SetupHigh       => tsetup_DQ0_DQS,
            SetupLow        => tsetup_DQ0_DQS,
            HoldHigh        => thold_DQ0_DQS,
            HoldLow         => thold_DQ0_DQS,
            CheckEnabled    => DQIn /= DQOut_zd,
            RefTransition   => '\',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_DQ1_DQS1,
            Violation       => Tviol_DQ1_DQS1
        );

        -- Setup/Hold Check between DM and DQSDiff
        VitalSetupHoldCheck (
            TestSignal      => DM,
            TestSignalName  => "DM",
            RefSignal       => DQSDiff,
            RefSignalName   => "DQSDiff",
            SetupHigh       => tsetup_DQ0_DQS,
            SetupLow        => tsetup_DQ0_DQS,
            HoldHigh        => thold_DQ0_DQS,
            HoldLow         => thold_DQ0_DQS,
            CheckEnabled    => EMR(10) = '0',
            RefTransition   => '/',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_DM0_DQS,
            Violation       => Tviol_DM0_DQS
        );

        -- Setup/Hold Check between DM and DQSIn
        VitalSetupHoldCheck (
            TestSignal      => DM,
            TestSignalName  => "DM",
            RefSignal       => DQSIn,
            RefSignalName   => "DQSIn",
            SetupHigh       => tsetup_DQ0_DQS,
            SetupLow        => tsetup_DQ0_DQS,
            HoldHigh        => thold_DQ0_DQS,
            HoldLow         => thold_DQ0_DQS,
            CheckEnabled    => TRUE,
            RefTransition   => '/',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_DM0_DQS1,
            Violation       => Tviol_DM0_DQS1
        );

        -- Setup/Hold Check between DM and DQSDiff
        VitalSetupHoldCheck (
            TestSignal      => DM,
            TestSignalName  => "DM",
            RefSignal       => DQSDiff,
            RefSignalName   => "DQSDiff",
            SetupHigh       => tsetup_DQ0_DQS,
            SetupLow        => tsetup_DQ0_DQS,
            HoldHigh        => thold_DQ0_DQS,
            HoldLow         => thold_DQ0_DQS,
            CheckEnabled    => EMR(10) = '0',
            RefTransition   => '\',
            HeaderMsg       => InstanceP