idt72v3670.vhd

来自「VHDL的ram和fifo model code 包含众多的厂家」· VHDL 代码 · 共 1,589 行 · 第 1/5 页

            RefTransition   => '\',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_FWFT_MRSNeg,
            XOn             => XOn,
            MsgOn           => MsgOn,
            Violation       => Tviol_FWFT_MRSNeg
        );

        -- tRSS
        VitalSetupHoldCheck (
            TestSignal      => FSEL1In,
            TestSignalName  => "FSEL1",
            RefSignal       => MRSNegIn,
            RefSignalName   => "MRSNeg",
            SetupHigh       => tsetup_RENNeg_MRSNeg,
            SetupLow        => tsetup_RENNeg_MRSNeg,
            CheckEnabled    => true,
            RefTransition   => '\',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_FSEL1_MRSNeg,
            XOn             => XOn,
            MsgOn           => MsgOn,
            Violation       => Tviol_FSEL1_MRSNeg
        );

        -- tRSS
        VitalSetupHoldCheck (
            TestSignal      => FSEL0In,
            TestSignalName  => "FSEL0",
            RefSignal       => MRSNegIn,
            RefSignalName   => "MRSNeg",
            SetupHigh       => tsetup_RENNeg_MRSNeg,
            SetupLow        => tsetup_RENNeg_MRSNeg,
            CheckEnabled    => true,
            RefTransition   => '\',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_FSEL0_MRSNeg,
            XOn             => XOn,
            MsgOn           => MsgOn,
            Violation       => Tviol_FSEL0_MRSNeg
        );

        -- tRSS
        VitalSetupHoldCheck (
            TestSignal      => BMIn,
            TestSignalName  => "BM",
            RefSignal       => MRSNegIn,
            RefSignalName   => "MRSNeg",
            SetupHigh       => tsetup_RENNeg_MRSNeg,
            SetupLow        => tsetup_RENNeg_MRSNeg,
            CheckEnabled    => true,
            RefTransition   => '\',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_BM_MRSNeg,
            XOn             => XOn,
            MsgOn           => MsgOn,
            Violation       => Tviol_BM_MRSNeg
        );

        -- tRSS
        VitalSetupHoldCheck (
            TestSignal      => OWIn,
            TestSignalName  => "OW",
            RefSignal       => MRSNegIn,
            RefSignalName   => "MRSNeg",
            SetupHigh       => tsetup_RENNeg_MRSNeg,
            SetupLow        => tsetup_RENNeg_MRSNeg,
            CheckEnabled    => true,
            RefTransition   => '\',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_OW_MRSNeg,
            XOn             => XOn,
            MsgOn           => MsgOn,
            Violation       => Tviol_OW_MRSNeg
        );

        -- tRSS
        VitalSetupHoldCheck (
            TestSignal      => RMIn,
            TestSignalName  => "RM",
            RefSignal       => MRSNegIn,
            RefSignalName   => "MRSNeg",
            SetupHigh       => tsetup_RENNeg_MRSNeg,
            SetupLow        => tsetup_RENNeg_MRSNeg,
            CheckEnabled    => true,
            RefTransition   => '\',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_RM_MRSNeg,
            XOn             => XOn,
            MsgOn           => MsgOn,
            Violation       => Tviol_RM_MRSNeg
        );

        -- tRSS
        VitalSetupHoldCheck (
            TestSignal      => IPIn,
            TestSignalName  => "IP",
            RefSignal       => MRSNegIn,
            RefSignalName   => "MRSNeg",
            SetupHigh       => tsetup_RENNeg_MRSNeg,
            SetupLow        => tsetup_RENNeg_MRSNeg,
            CheckEnabled    => true,
            RefTransition   => '\',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_IP_MRSNeg,
            XOn             => XOn,
            MsgOn           => MsgOn,
            Violation       => Tviol_IP_MRSNeg
        );

        -- tRSS
        VitalSetupHoldCheck (
            TestSignal      => IWIn,
            TestSignalName  => "IW",
            RefSignal       => MRSNegIn,
            RefSignalName   => "MRSNeg",
            SetupHigh       => tsetup_RENNeg_MRSNeg,
            SetupLow        => tsetup_RENNeg_MRSNeg,
            CheckEnabled    => true,
            RefTransition   => '\',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_IW_MRSNeg,
            XOn             => XOn,
            MsgOn           => MsgOn,
            Violation       => Tviol_IW_MRSNeg
        );

        -- tRSS
        VitalSetupHoldCheck (
            TestSignal      => LDNegIn,
            TestSignalName  => "LDNeg",
            RefSignal       => MRSNegIn,
            RefSignalName   => "MRSNeg",
            SetupHigh       => tsetup_RENNeg_MRSNeg,
            SetupLow        => tsetup_RENNeg_MRSNeg,
            CheckEnabled    => true,
            RefTransition   => '\',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_LDNeg_MRSNeg,
            XOn             => XOn,
            MsgOn           => MsgOn,
            Violation       => Tviol_LDNeg_MRSNeg
        );

        -- tRSS
        VitalSetupHoldCheck (
            TestSignal      => BENegIn,
            TestSignalName  => "BENeg",
            RefSignal       => MRSNegIn,
            RefSignalName   => "MRSNeg",
            SetupHigh       => tsetup_RENNeg_MRSNeg,
            SetupLow        => tsetup_RENNeg_MRSNeg,
            CheckEnabled    => true,
            RefTransition   => '\',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_BENeg_MRSNeg,
            XOn             => XOn,
            MsgOn           => MsgOn,
            Violation       => Tviol_BENeg_MRSNeg
        );

        -- tRSS
        VitalSetupHoldCheck (
            TestSignal      => RTNegIn,
            TestSignalName  => "RTNeg",
            RefSignal       => MRSNegIn,
            RefSignalName   => "MRSNeg",
            SetupHigh       => tsetup_RENNeg_MRSNeg,
            SetupLow        => tsetup_RENNeg_MRSNeg,
            CheckEnabled    => true,
            RefTransition   => '\',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_RTNeg_MRSNeg,
            XOn             => XOn,
            MsgOn           => MsgOn,
            Violation       => Tviol_RTNeg_MRSNeg
        );

        -- tRSS
        VitalSetupHoldCheck (
            TestSignal      => RENNegIn,
            TestSignalName  => "RENNeg",
            RefSignal       => PRSNegIn,
            RefSignalName   => "PRSNeg",
            SetupHigh       => tsetup_RENNeg_MRSNeg,
            SetupLow        => tsetup_RENNeg_MRSNeg,
            CheckEnabled    => true,
            RefTransition   => '\',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_RENNeg_PRSNeg,
            XOn             => XOn,
            MsgOn           => MsgOn,
            Violation       => Tviol_RENNeg_PRSNeg
        );

        -- tRSS
        VitalSetupHoldCheck (
            TestSignal      => WENNegIn,
            TestSignalName  => "WENNeg",
            RefSignal       => PRSNegIn,
            RefSignalName   => "PRSNeg",
            SetupHigh       => tsetup_RENNeg_MRSNeg,
            SetupLow        => tsetup_RENNeg_MRSNeg,
            CheckEnabled    => true,
            RefTransition   => '\',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_WENNeg_PRSNeg,
            XOn             => XOn,
            MsgOn           => MsgOn,
            Violation       => Tviol_WENNeg_PRSNeg
        );

        -- tRSS
        VitalSetupHoldCheck (
            TestSignal      => SENNegIn,
            TestSignalName  => "SENNeg",
            RefSignal       => PRSNegIn,
            RefSignalName   => "PRSNeg",
            SetupHigh       => tsetup_RENNeg_MRSNeg,
            SetupLow        => tsetup_RENNeg_MRSNeg,
            CheckEnabled    => true,
            RefTransition   => '\',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_SENNeg_PRSNeg,
            XOn             => XOn,
            MsgOn           => MsgOn,
            Violation       => Tviol_SENNeg_PRSNeg
        );

        -- tRSS
        VitalSetupHoldCheck (
            TestSignal      => RTNegIn,
            TestSignalName  => "RTNeg",
            RefSignal       => PRSNegIn,
            RefSignalName   => "PRSNeg",
            SetupHigh       => tsetup_RENNeg_MRSNeg,
            SetupLow        => tsetup_RENNeg_MRSNeg,
            CheckEnabled    => true,
            RefTransition   => '\',
            HeaderMsg       => InstancePath & PartID,
            TimingData      => TD_RTNeg_PRSNeg,
            XOn             => XOn,
            MsgOn           => MsgOn,
            Violation       => Tviol_RTNeg_PRSNeg
        );

        -- tRSR
        VitalRecoveryRemovalCheck (
            TestSignal      => RENNegIn,
            TestSignalName  => "RENNeg",
            RefSignal       => MRSNegIn,
            RefSignalName   => "MRSNeg",
            Recovery        => trecovery_RENNeg_MRSNeg,
            ActiveLow       => true,
            CheckEnabled    => true,
            RefTransition   => '/',
            HeaderMsg       => InstancePath & partID,
            TimingData      => RD_RENNeg_MRSNeg,
            XOn             => XOn,
            MsgOn           => MsgOn,
            Violation       => Rviol_RENNeg_MRSNeg
        );

        -- tRSR
        VitalRecoveryRemovalCheck (
            TestSignal      => WENNegIn,
            TestSignalName  => "WENNeg",
            RefSignal       => MRSNegIn,
            RefSignalName   => "MRSNeg",
            Recovery        => trecovery_RENNeg_MRSNeg,
            ActiveLow       => true,
            CheckEnabled    => true,
            RefTransition   => '/',
            HeaderMsg       => InstancePath & partID,
            TimingData      => RD_WENNeg_MRSNeg,
            XOn             => XOn,
            MsgOn           => MsgOn,
            Violation       => Rviol_WENNeg_MRSNeg
        );

        -- tRSR
        VitalRecoveryRemovalCheck (
            TestSignal      => FWFTIn,
            TestSignalName  => "FWFT",
            RefSignal       => MRSNegIn,
            RefSignalName   => "MRSNeg",
            Recovery        => trecovery_RENNeg_MRSNeg,
            ActiveLow       => true,
            CheckEnabled    => true,
            RefTransition   => '/',
            HeaderMsg       => InstancePath & partID,
            TimingData      => RD_FWFT_MRSNeg,
            XOn             => XOn,
            MsgOn           => MsgOn,
            Violation       => Rviol_FWFT_MRSNeg
        );

        -- tRSR
        VitalRecoveryRemovalCheck (
            TestSignal      => LDNegIn,
            TestSignalName  => "LDNeg",
            RefSignal       => MRSNegIn,
            RefSignalName   => "MRSNeg",
            Recovery        => trecovery_RENNeg_MRSNeg,
            ActiveLow       => true,
            CheckEnabled    => true,
            RefTransition   => '/',
            HeaderMsg       => InstancePath & partID,
            TimingData      => RD_LDNeg_MRSNeg,
            XOn             => XOn,
            MsgOn           => MsgOn,
            Violation       => Rviol_LDNeg_MRSNeg
        );

        -- tRSR
        VitalRecoveryRemovalCheck (
            TestSignal      => RENNegIn,
            TestSignalName  => "RENNeg",