hm5113805f.vhd

vhdl cod for ram.For sp3e

            HoldHigh        => thold_CASNeg_RASNeg_cas_before1_noedge_posedge,
            CheckEnabled    => TRUE,
            RefTransition   => '/',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_CASNeg_RASNeg,
            Violation       => Tviol_CASNeg_RASNeg
        );

        -- Setup/Hold Check between CASNeg and RASNeg
        VitalSetupHoldCheck (
            TestSignal      => CASNeg,
            TestSignalName  => "CASNeg",
            RefSignal       => RASNeg,
            RefSignalName   => "RASNeg",  -- tcsr
            SetupLow        => tsetup_CASNeg_RASNeg_cas_before2_noedge_negedge,
            CheckEnabled    => TRUE,
            RefTransition   => '\',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_CASNeg_RASNeg_1,
            Violation       => Tviol_CASNeg_RASNeg_1
        );

        -- Setup/Hold Check between CASNeg and RASNeg
        VitalSetupHoldCheck (
            TestSignal      => CASNeg,
            TestSignalName  => "CASNeg",
            RefSignal       => RASNeg,
            RefSignalName   => "RASNeg", -- tchr
            HoldLow         => thold_CASNeg_RASNeg_cas_before2_noedge_negedge,
            CheckEnabled    => TRUE,
            RefTransition   => '\',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_CASNeg_RASNeg_2,
            Violation       => Tviol_CASNeg_RASNeg_2
        );

        -- Setup/Hold Check between RASNeg and CASNeg
        VitalSetupHoldCheck (
            TestSignal      => RASNeg,
            TestSignalName  => "RASNeg",
            RefSignal       => CASNeg,
            RefSignalName   => "CASNeg",        -- tcrp
            HoldHigh        => thold_RASNeg_CASNeg_cas_before1_noedge_posedge,
            CheckEnabled    => TRUE,
            RefTransition   => '/',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_RASNeg_CASNeg_2,
            Violation       => Tviol_RASNeg_CASNeg_2
        );

        -- Setup/Hold Check between RASNeg and CASNeg
        VitalSetupHoldCheck (
            TestSignal      => RASNeg,
            TestSignalName  => "RASNeg",
            RefSignal       => CASNeg,
            RefSignalName   => "CASNeg",
            HoldLow     => thold_RASNeg_CASNeg_page_rd_noedge_posedge, -- tcprh
            CheckEnabled    => page_mode = TRUE,
            RefTransition   => '/',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_RASNeg_CASNeg_3,
            Violation       => Tviol_RASNeg_CASNeg_3
        );

        -- Setup/Hold Check between WENeg and RASNeg
        VitalSetupHoldCheck (
            TestSignal      => WENeg,
            TestSignalName  => "WENeg",
            RefSignal       => RASNeg,
            RefSignalName   => "RASNeg",
            HoldHigh        => thold_WENeg_RASNeg,     -- twrh
            CheckEnabled    => TRUE,
            RefTransition   => '\',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_WENeg_RASNeg,
            Violation       => Tviol_WENeg_RASNeg
        );

        -- Setup/Hold Check between WENeg and CASNeg
        VitalSetupHoldCheck (
            TestSignal      => WENeg,
            TestSignalName  => "WENeg",
            RefSignal       => CASNeg,
            RefSignalName   => "CASNeg",
            HoldHigh     => thold_WENeg_CASNeg_page_rd_noedge_posedge, -- trchc
            CheckEnabled    => page_mode = TRUE,
            RefTransition   => '/',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_WENeg_CASNeg,
            Violation       => Tviol_WENeg_CASNeg
        );

        -- Setup/Hold Check between WENeg and CASNeg
        VitalSetupHoldCheck (
            TestSignal      => WENeg,
            TestSignalName  => "WENeg",
            RefSignal       => CASNeg,
            RefSignalName   => "CASNeg",  -- tcpw
            HoldHigh        => thold_WENeg_CASNeg_page_rd_mod_noedge_posedge,
            CheckEnabled    => read_mod_wr = TRUE,
            RefTransition   => '/',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_WENeg_CASNeg_1,
            Violation       => Tviol_WENeg_CASNeg_1
        );

        -- Setup/Hold Check between AIn and CASNeg
        VitalSetupHoldCheck (
            TestSignal      => AIn,
            TestSignalName  => "AIn",
            RefSignal       => CASNeg,
            RefSignalName   => "CASNeg",
            SetupHigh       => tsetup_A0_CASNeg,
            SetupLow        => tsetup_A0_CASNeg,
            CheckEnabled    => TRUE,
            RefTransition   => '/',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_A0_CASNeg_s,
            Violation       => Tviol_A0_CASNeg_s
        );

        -- Setup/Hold Check between AIn and CASNeg
        VitalSetupHoldCheck (
            TestSignal      => AIn,
            TestSignalName  => "AIn",
            RefSignal       => CASNeg,
            RefSignalName   => "CASNeg",
            HoldHigh        => thold_A0_CASNeg,
            HoldLow         => thold_A0_CASNeg,
            CheckEnabled    => TRUE,
            RefTransition   => '\',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_A0_CASNeg_h,
            Violation       => Tviol_A0_CASNeg_h
        );

        -- Setup/Hold Check between AIn and RASNeg
        VitalSetupHoldCheck (
            TestSignal      => AIn,
            TestSignalName  => "AIn",
            RefSignal       => RASNeg,
            RefSignalName   => "RASNeg",
            SetupHigh       => tsetup_A0_RASNeg,
            SetupLow        => tsetup_A0_RASNeg,
            CheckEnabled    => TRUE,
            RefTransition   => '/',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_A0_RASNeg_s,
            Violation       => Tviol_A0_RASNeg_s
        );

        -- Setup/Hold Check between AIn and RASNeg
        VitalSetupHoldCheck (
            TestSignal      => AIn,
            TestSignalName  => "AIn",
            RefSignal       => RASNeg,
            RefSignalName   => "RASNeg",
            HoldHigh        => thold_A0_RASNeg,
            HoldLow         => thold_A0_RASNeg,
            CheckEnabled    => TRUE,
            RefTransition   => '\',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_A0_RASNeg_h,
            Violation       => Tviol_A0_RASNeg_h
        );

        -- Setup/Hold Check between CASNeg and WENeg
        VitalSetupHoldCheck (
            TestSignal      => CASNeg,
            TestSignalName  => "CASNeg",
            RefSignal       => WENeg,
            RefSignalName   => "WENeg",
            SetupLow        => tsetup_CASNeg_WENeg,
            CheckEnabled    => TRUE,
            RefTransition   => '\',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_CASNeg_WENeg,
            Violation       => Tviol_CASNeg_WENeg
        );

        -- Setup/Hold Check between OENeg and WENeg
        VitalSetupHoldCheck (
            TestSignal      => OENeg,
            TestSignalName  => "OENeg",
            RefSignal       => WENeg,
            RefSignalName   => "WENeg",
            HoldHigh        => thold_OENeg_WENeg,
            CheckEnabled    => TRUE,
            RefTransition   => '\',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_OENeg_WENeg,
            Violation       => Tviol_OENeg_WENeg
        );

        -- Setup/Hold Check between CASNeg and OENeg
        VitalSetupHoldCheck (
            TestSignal      => CASNeg,
            TestSignalName  => "CASNeg",
            RefSignal       => OENeg,
            RefSignalName   => "OENeg",
            HoldLow        => thold_CASNeg_OENeg,   -- tcol
            CheckEnabled    => TRUE,
            RefTransition   => '\',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_CASNeg_OENeg,
            Violation       => Tviol_CASNeg_OENeg
        );

        -- Setup/Hold Check between OENeg and CASNeg
        VitalSetupHoldCheck (
            TestSignal      => OENeg,
            TestSignalName  => "OENeg",
            RefSignal       => CASNeg,
            RefSignalName   => "CASNeg",
            HoldHigh        => thold_OENeg_CASNeg,     --tcop
            CheckEnabled    => TRUE,
            RefTransition   => '/',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_OENeg_CASNeg,
            Violation       => Tviol_OENeg_CASNeg
        );

        -- Setup/Hold Check between AIn and WENeg
        VitalSetupHoldCheck (
            TestSignal      => AIn,
            TestSignalName  => "AIn",
            RefSignal       => WENeg,
            RefSignalName   => "WENeg",
            SetupLow        => tsetup_A0_WENeg,
            SetupHigh       => tsetup_A0_WENeg,
            CheckEnabled    => CASNeg = '0',
            RefTransition   => '\',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_A0_WENeg,
            Violation       => Tviol_A0_WENeg
        );

        -- Setup/Hold Check between RASNeg and WENeg
        VitalSetupHoldCheck (
            TestSignal      => RASNeg,
            TestSignalName  => "RASNeg",
            RefSignal       => WENeg,
            RefSignalName   => "WENeg",
            HoldLow         => thold_RASNeg_WENeg,
            CheckEnabled    => TRUE,
            RefTransition   => '\',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_RASNeg_WENeg,
            Violation       => Tviol_RASNeg_WENeg
        );

        -- Setup/Hold Check between CASNeg and WENeg
        VitalSetupHoldCheck (
            TestSignal      => CASNeg,
            TestSignalName  => "CASNeg",
            RefSignal       => WENeg,
            RefSignalName   => "WENeg",
            HoldLow         => thold_CASNeg_WENeg,
            CheckEnabled    => TRUE,
            RefTransition   => '\',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_CASNeg_WENeg_1,
            Violation       => Tviol_CASNeg_WENeg_1
        );

        -- Setup/Hold Check between WENeg and CASNeg
        VitalSetupHoldCheck (
            TestSignal      => WENeg,
            TestSignalName  => "WENeg",
            RefSignal       => CASNeg,
            RefSignalName   => "CASNeg",
            HoldLow         => thold_WENeg_CASNeg,
            CheckEnabled    => TRUE,
            RefTransition   => '\',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_WENeg_CASNeg_2,
            Violation       => Tviol_WENeg_CASNeg_2
        );

        -- PulseWidth Check for RASNeg
        VitalPeriodPulseCheck (
            TestSignal      => RASNeg,
            TestSignalName  => "RASNeg",
            PulseWidthLow   => tpw_RASNeg_negedge,
            PulseWidthHigh  => tpw_RASNeg_posedge,
            Period          => tperiod_RASNeg,
            CheckEnabled    => TRUE,
            HeaderMsg       => InstancePath & PartID,
            PeriodData      => PD_RASNeg,
            Violation       => Pviol_RASNeg
        );

        -- PulseWidth Check for CASNeg
        VitalPeriodPulseCheck (
            TestSignal      => CASNeg,
            TestSignalName  => "CASNeg",
            PulseWidthLow   => tpw_CASNeg_negedge,
            PulseWidthHigh  => tpw_CASNeg_posedge,
            CheckEnabled    => TRUE,
            HeaderMsg       => InstancePath & PartID,
            PeriodData      => PD_CASNeg,
            Violation       => Pviol_CASNeg
        );

        -- PulseWidth Check for CASNeg
        VitalPeriodPulseCheck (
            TestSignal      => CASNeg,
            TestSignalName  => "CASNeg",
            Period          => tperiod_CASNeg_page_rd,   -- thpc
            CheckEnabled    => TRUE,
            HeaderMsg       => InstancePath & PartID,
            PeriodData      => PD_CASNeg_rd,
            Violation       => Pviol_CASNeg_rd
        );

        -- PulseWidth Check for CASNeg
        VitalPeriodPulseCheck (
            TestSignal      => CASNeg,
            TestSignalName  => "CASNeg",
            Period          => tperiod_CASNeg_page_rd_mod_wr,  -- thprwc
            CheckEnabled    => read_mod_wr = TRUE,
            HeaderMsg       => InstancePath & PartID,
            PeriodData      => PD_CASNeg_rd_mod_wr,
            Violation       => Pviol_CASNeg_rd_mod_wr
        );

        -- PulseWidth Check for WENeg
        VitalPeriodPulseCheck (
            TestSignal      => WENeg,
            TestSignalName  => "WENeg",
            PulseWidthLow   => tpw_WENeg_negedge,
            CheckEnabled    => TRUE,
            HeaderMsg       => InstancePath & PartID,