idt71321.vhd

vhdl cod for ram.For sp3e

            HeaderMsg       => InstancePath & partID,
            TimingData      => TD_CERNeg_RWR,
            XOn             => XOn,
            MsgOn           => MsgOn,
            Violation       => Tviol_CERNeg_RWR
            );

        VitalSetupHoldCheck (
            TestSignal      => RWL,
            TestSignalName  => "RWL",
            RefSignal       => BUSYLNeg_t,
            RefSignalName   => "BUSYLNeg",
            HoldLow         => thold_RWL_BUSYLNeg,
            CheckEnabled    => TRUE,
            RefTransition   => '/',
            HeaderMsg       => InstancePath & partID,
            TimingData      => TD_RWL_BUSYLNeg,
            XOn             => XOn,
            MsgOn           => MsgOn,
            Violation       => Tviol_RWL_BUSYLNeg
            );

        VitalSetupHoldCheck (
            TestSignal      => RWR,
            TestSignalName  => "RWR",
            RefSignal       => BUSYRNeg_t,
            RefSignalName   => "BUSYRNeg",
            HoldLow         => thold_RWL_BUSYLNeg,
            CheckEnabled    => TRUE,
            RefTransition   => '/',
            HeaderMsg       => InstancePath & partID,
            TimingData      => TD_RWR_BUSYRNeg,
            XOn             => XOn,
            MsgOn           => MsgOn,
            Violation       => Tviol_RWR_BUSYRNeg
            );

        VitalPeriodPulseCheck (
            TestSignal       => CELNeg,
            TestSignalName   => "CELNeg",
            PulseWidthLow    => tsetup_CELNeg_RWL,
            CheckEnabled     => RWL = '0',
            HeaderMsg        => InstancePath & PartID,
            PeriodData       => PD_CELNeg,
            XOn              => XOn,
            MsgOn            => MsgOn,
            Violation        => Pviol_CELNeg
            );

        VitalPeriodPulseCheck (
            TestSignal       => CERNeg,
            TestSignalName   => "CERNeg",
            PulseWidthLow    => tsetup_CELNeg_RWL,
            CheckEnabled     => RWR = '0',
            HeaderMsg        => InstancePath & PartID,
            PeriodData       => PD_CERNeg,
            XOn              => XOn,
            MsgOn            => MsgOn,
            Violation        => Pviol_CERNeg
            );

        VitalPeriodPulseCheck (
            TestSignal       => RWL,
            TestSignalName   => "RWL",
            PulseWidthLow    => tpw_RWL_negedge,
            CheckEnabled     => CELNeg = '0',
            HeaderMsg        => InstancePath & PartID,
            PeriodData       => PD_RWL,
            XOn              => XOn,
            MsgOn            => MsgOn,
            Violation        => Pviol_RWL
            );

        VitalPeriodPulseCheck (
            TestSignal       => RWR,
            TestSignalName   => "RWR",
            PulseWidthLow    => tpw_RWL_negedge,
            CheckEnabled     => CERNeg = '0',
            HeaderMsg        => InstancePath & PartID,
            PeriodData       => PD_RWR,
            XOn              => XOn,
            MsgOn            => MsgOn,
            Violation        => Pviol_RWR
            );

        VitalPeriodPulseCheck (
            TestSignal       => ALIn(0),
            TestSignalName   => "Address 0",
            PulseWidthLow    => tpw_AL0_negedge,
            PulseWidthHigh   => tpw_AL0_posedge,
            CheckEnabled     => TRUE,
            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
            );