idt71421.vhd

vhdl cod for ram.For sp3e

            HeaderMsg        => InstancePath & PartID,
            PeriodData       => PD_AL0,
            XOn              => XOn,
            MsgOn            => MsgOn,
            Violation        => Pviol_AL0
            );

        VitalPeriodPulseCheck (
            TestSignal       => ALIn(1),
            TestSignalName   => "Address 1",
            PulseWidthLow    => tpw_AL0_negedge,
            PulseWidthHigh   => tpw_AL0_posedge,
            CheckEnabled     => TRUE,
            HeaderMsg        => InstancePath & PartID,
            PeriodData       => PD_AL1,
            XOn              => XOn,
            MsgOn            => MsgOn,
            Violation        => Pviol_AL1
            );

        VitalPeriodPulseCheck (
            TestSignal       => ALIn(2),
            TestSignalName   => "Address 2",
            PulseWidthLow    => tpw_AL0_negedge,
            PulseWidthHigh   => tpw_AL0_posedge,
            CheckEnabled     => TRUE,
            HeaderMsg        => InstancePath & PartID,
            PeriodData       => PD_AL2,
            XOn              => XOn,
            MsgOn            => MsgOn,
            Violation        => Pviol_AL2
            );

        VitalPeriodPulseCheck (
            TestSignal       => ALIn(3),
            TestSignalName   => "Address 3",
            PulseWidthLow    => tpw_AL0_negedge,
            PulseWidthHigh   => tpw_AL0_posedge,
            CheckEnabled     => TRUE,
            HeaderMsg        => InstancePath & PartID,
            PeriodData       => PD_AL3,
            XOn              => XOn,
            MsgOn            => MsgOn,
            Violation        => Pviol_AL3
            );

        VitalPeriodPulseCheck (
            TestSignal       => ALIn(4),
            TestSignalName   => "Address 4",
            PulseWidthLow    => tpw_AL0_negedge,
            PulseWidthHigh   => tpw_AL0_posedge,
            CheckEnabled     => TRUE,
            HeaderMsg        => InstancePath & PartID,
            PeriodData       => PD_AL4,
            XOn              => XOn,
            MsgOn            => MsgOn,
            Violation        => Pviol_AL4
            );

        VitalPeriodPulseCheck (
            TestSignal       => ALIn(5),
            TestSignalName   => "Address 5",
            PulseWidthLow    => tpw_AL0_negedge,
            PulseWidthHigh   => tpw_AL0_posedge,
            CheckEnabled     => TRUE,
            HeaderMsg        => InstancePath & PartID,
            PeriodData       => PD_AL5,
            XOn              => XOn,
            MsgOn            => MsgOn,
            Violation        => Pviol_AL5
            );

        VitalPeriodPulseCheck (
            TestSignal       => ALIn(6),
            TestSignalName   => "Address 6",
            PulseWidthLow    => tpw_AL0_negedge,
            PulseWidthHigh   => tpw_AL0_posedge,
            CheckEnabled     => TRUE,
            HeaderMsg        => InstancePath & PartID,
            PeriodData       => PD_AL6,
            XOn              => XOn,
            MsgOn            => MsgOn,
            Violation        => Pviol_AL6
            );

        VitalPeriodPulseCheck (
            TestSignal       => ALIn(7),
            TestSignalName   => "Address 7",
            PulseWidthLow    => tpw_AL0_negedge,
            PulseWidthHigh   => tpw_AL0_posedge,
            CheckEnabled     => TRUE,
            HeaderMsg        => InstancePath & PartID,
            PeriodData       => PD_AL7,
            XOn              => XOn,
            MsgOn            => MsgOn,
            Violation        => Pviol_AL7
            );

        VitalPeriodPulseCheck (
            TestSignal       => ALIn(8),
            TestSignalName   => "Address 8",
            PulseWidthLow    => tpw_AL0_negedge,
            PulseWidthHigh   => tpw_AL0_posedge,
            CheckEnabled     => TRUE,
            HeaderMsg        => InstancePath & PartID,
            PeriodData       => PD_AL8,
            XOn              => XOn,
            MsgOn            => MsgOn,
            Violation        => Pviol_AL8
            );

        VitalPeriodPulseCheck (
            TestSignal       => ALIn(9),
            TestSignalName   => "Address 9",
            PulseWidthLow    => tpw_AL0_negedge,
            PulseWidthHigh   => tpw_AL0_posedge,
            CheckEnabled     => TRUE,
            HeaderMsg        => InstancePath & PartID,
            PeriodData       => PD_AL9,
            XOn              => XOn,
            MsgOn            => MsgOn,
            Violation        => Pviol_AL9
            );

        VitalPeriodPulseCheck (
            TestSignal       => ALIn(10),
            TestSignalName   => "Address 10",
            PulseWidthLow    => tpw_AL0_negedge,
            PulseWidthHigh   => tpw_AL0_posedge,
            CheckEnabled     => TRUE,
            HeaderMsg        => InstancePath & PartID,
            PeriodData       => PD_AL10,
            XOn              => XOn,
            MsgOn            => MsgOn,
            Violation        => Pviol_AL10
            );

        VitalPeriodPulseCheck (
            TestSignal       => ARIn(0),
            TestSignalName   => "Address 0",
            PulseWidthLow    => tpw_AL0_negedge,
            PulseWidthHigh   => tpw_AL0_posedge,
            CheckEnabled     => TRUE,
            HeaderMsg        => InstancePath & PartID,
            PeriodData       => PD_AR0,
            XOn              => XOn,
            MsgOn            => MsgOn,
            Violation        => Pviol_AR0
            );

        VitalPeriodPulseCheck (
            TestSignal       => ARIn(1),
            TestSignalName   => "Address 1",
            PulseWidthLow    => tpw_AL0_negedge,
            PulseWidthHigh   => tpw_AL0_posedge,
            CheckEnabled     => TRUE,
            HeaderMsg        => InstancePath & PartID,
            PeriodData       => PD_AR1,
            XOn              => XOn,
            MsgOn            => MsgOn,
            Violation        => Pviol_AR1
            );

        VitalPeriodPulseCheck (
            TestSignal       => ARIn(2),
            TestSignalName   => "Address 2",
            PulseWidthLow    => tpw_AL0_negedge,
            PulseWidthHigh   => tpw_AL0_posedge,
            CheckEnabled     => TRUE,
            HeaderMsg        => InstancePath & PartID,
            PeriodData       => PD_AR2,
            XOn              => XOn,
            MsgOn            => MsgOn,
            Violation        => Pviol_AR2
            );

        VitalPeriodPulseCheck (
            TestSignal       => ARIn(3),
            TestSignalName   => "Address 3",
            PulseWidthLow    => tpw_AL0_negedge,
            PulseWidthHigh   => tpw_AL0_posedge,
            CheckEnabled     => TRUE,
            HeaderMsg        => InstancePath & PartID,
            PeriodData       => PD_AR3,
            XOn              => XOn,
            MsgOn            => MsgOn,
            Violation        => Pviol_AR3
            );

        VitalPeriodPulseCheck (
            TestSignal       => ARIn(4),
            TestSignalName   => "Address 4",
            PulseWidthLow    => tpw_AL0_negedge,
            PulseWidthHigh   => tpw_AL0_posedge,
            CheckEnabled     => TRUE,
            HeaderMsg        => InstancePath & PartID,
            PeriodData       => PD_AR4,
            XOn              => XOn,
            MsgOn            => MsgOn,
            Violation        => Pviol_AR4
            );

        VitalPeriodPulseCheck (
            TestSignal       => ARIn(5),
            TestSignalName   => "Address 5",
            PulseWidthLow    => tpw_AL0_negedge,
            PulseWidthHigh   => tpw_AL0_posedge,
            CheckEnabled     => TRUE,
            HeaderMsg        => InstancePath & PartID,
            PeriodData       => PD_AR5,
            XOn              => XOn,
            MsgOn            => MsgOn,
            Violation        => Pviol_AR5
            );

        VitalPeriodPulseCheck (
            TestSignal       => ARIn(6),
            TestSignalName   => "Address 6",
            PulseWidthLow    => tpw_AL0_negedge,
            PulseWidthHigh   => tpw_AL0_posedge,
            CheckEnabled     => TRUE,
            HeaderMsg        => InstancePath & PartID,
            PeriodData       => PD_AR6,
            XOn              => XOn,
            MsgOn            => MsgOn,
            Violation        => Pviol_AR6
            );

        VitalPeriodPulseCheck (
            TestSignal       => ARIn(7),
            TestSignalName   => "Address 7",
            PulseWidthLow    => tpw_AL0_negedge,
            PulseWidthHigh   => tpw_AL0_posedge,
            CheckEnabled     => TRUE,
            HeaderMsg        => InstancePath & PartID,
            PeriodData       => PD_AR7,
            XOn              => XOn,
            MsgOn            => MsgOn,
            Violation        => Pviol_AR7
            );

        VitalPeriodPulseCheck (
            TestSignal       => ARIn(8),
            TestSignalName   => "Address 8",
            PulseWidthLow    => tpw_AL0_negedge,
            PulseWidthHigh   => tpw_AL0_posedge,
            CheckEnabled     => TRUE,
            HeaderMsg        => InstancePath & PartID,
            PeriodData       => PD_AR8,
            XOn              => XOn,
            MsgOn            => MsgOn,
            Violation        => Pviol_AR8
            );

        VitalPeriodPulseCheck (
            TestSignal       => ARIn(9),
            TestSignalName   => "Address 9",
            PulseWidthLow    => tpw_AL0_negedge,
            PulseWidthHigh   => tpw_AL0_posedge,
            CheckEnabled     => TRUE,
            HeaderMsg        => InstancePath & PartID,
            PeriodData       => PD_AR9,
            XOn              => XOn,
            MsgOn            => MsgOn,
            Violation        => Pviol_AR9
            );

        VitalPeriodPulseCheck (
            TestSignal       => ARIn(10),
            TestSignalName   => "Address 10",
            PulseWidthLow    => tpw_AL0_negedge,
            PulseWidthHigh   => tpw_AL0_posedge,
            CheckEnabled     => TRUE,
            HeaderMsg        => InstancePath & PartID,
            PeriodData       => PD_AR10,
            XOn              => XOn,
            MsgOn            => MsgOn,
            Violation        => Pviol_AR10
            );

            Violation :=    Tviol_RWR_BUSYRNeg     OR
                            Tviol_RWL_BUSYLNeg     OR
                            Tviol_AL_OELNeg        OR
                            Tviol_AR_OERNeg        OR
                            Tviol_AR_RWR_s         OR
                            Tviol_AL_RWL_s         OR
                            Tviol_AL_CELNeg_s      OR
                            Tviol_AR_CERNeg_s      OR
                            Tviol_AL_CELNeg        OR
                            Tviol_AR_CERNeg        OR
                            Tviol_AL_RWL           OR
                            Tviol_AR_RWR           OR
                            Tviol_CELNeg_RWL       OR
                            Tviol_BUSYRNeg_RWL     OR
                            Tviol_BUSYLNeg_RWR     OR
                            Tviol_CERNeg_RWR       OR
                            Tviol_IOL0_CELNeg      OR
                            Tviol_IOR_CERNeg       OR
                            Tviol_IOL0_RWL         OR
                            Tviol_IOR_RWR          OR
                            Pviol_AL0              OR
                            Pviol_AL1              OR
                            Pviol_AL2              OR
                            Pviol_AL3              OR
                            Pviol_AL4              OR
                            Pviol_AL5              OR
                            Pviol_AL6              OR