idt70t3399.vhd

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

        VARIABLE Tviol_A0_CENeg   : X01 := '0';
        VARIABLE TD_A0_CENeg      : VitalTimingDataType;

        VARIABLE Pviol_OENeg      : X01 := '0';
        VARIABLE PD_OENeg         : VitalPeriodDataType :=
                                                   VitalPeriodDataInit;

        VARIABLE Violation        : X01 := '0';

        VARIABLE TD_AL_CLK          : VitalTimingDataType;
        VARIABLE Tviol_AL_CLK       : X01 := '0';
        VARIABLE TD_AR_CLK          : VitalTimingDataType;
        VARIABLE Tviol_AR_CLK       : X01 := '0';
        VARIABLE TD_DL_CLK          : VitalTimingDataType;
        VARIABLE Tviol_DL_CLK       : X01 := '0';
        VARIABLE TD_DR_CLK          : VitalTimingDataType;
        VARIABLE Tviol_DR_CLK       : X01 := '0';
        VARIABLE TD_CEL_CLK         : VitalTimingDataType;
        VARIABLE Tviol_CEL_CLK      : X01 := '0';
        VARIABLE TD_CER_CLK         : VitalTimingDataType;
        VARIABLE Tviol_CER_CLK      : X01 := '0';
        VARIABLE TD_UBEL_CLK        : VitalTimingDataType;
        VARIABLE Tviol_UBEL_CLK     : X01 := '0';
        VARIABLE TD_LBEL_CLK        : VitalTimingDataType;
        VARIABLE Tviol_LBEL_CLK     : X01 := '0';
        VARIABLE TD_UBER_CLK        : VitalTimingDataType;
        VARIABLE Tviol_UBER_CLK     : X01 := '0';
        VARIABLE TD_LBER_CLK        : VitalTimingDataType;
        VARIABLE Tviol_LBER_CLK     : X01 := '0';
        VARIABLE TD_RWL_CLK         : VitalTimingDataType;
        VARIABLE Tviol_RWL_CLK      : X01 := '0';
        VARIABLE TD_RWR_CLK         : VitalTimingDataType;
        VARIABLE Tviol_RWR_CLK      : X01 := '0';
        VARIABLE TD_ADSL_CLK        : VitalTimingDataType;
        VARIABLE Tviol_ADSL_CLK     : X01 := '0';
        VARIABLE TD_ADSR_CLK        : VitalTimingDataType;
        VARIABLE Tviol_ADSR_CLK     : X01 := '0';
        VARIABLE TD_CNTL_CLK        : VitalTimingDataType;
        VARIABLE Tviol_CNTL_CLK     : X01 := '0';
        VARIABLE TD_CNTR_CLK        : VitalTimingDataType;
        VARIABLE Tviol_CNTR_CLK     : X01 := '0';
        VARIABLE TD_RPTL_CLK        : VitalTimingDataType;
        VARIABLE Tviol_RPTL_CLK     : X01 := '0';
        VARIABLE TD_RPTR_CLK        : VitalTimingDataType;
        VARIABLE Tviol_RPTR_CLK     : X01 := '0';
        VARIABLE TD_TDI_TCK         : VitalTimingDataType;
        VARIABLE Tviol_TDI_TCK      : X01 := '0';
        VARIABLE PD_CLKP            : VitalPeriodDataType :=
                                                   VitalPeriodDataInit;
        VARIABLE Pviol_CLKP         : X01 := '0';
        VARIABLE PD_CLKF            : VitalPeriodDataType :=
                                                   VitalPeriodDataInit;
        VARIABLE Pviol_CLKF         : X01 := '0';
        VARIABLE PD_CLKP1           : VitalPeriodDataType :=
                                                   VitalPeriodDataInit;
        VARIABLE Pviol_CLKP1        : X01 := '0';
        VARIABLE PD_CLKF1           : VitalPeriodDataType :=
                                                   VitalPeriodDataInit;
        VARIABLE Pviol_CLKF1        : X01 := '0';
        VARIABLE PD_TCK             : VitalPeriodDataType :=
                                                   VitalPeriodDataInit;
        VARIABLE Pviol_TCK          : X01 := '0';
        VARIABLE PD_TRST            : VitalPeriodDataType :=
                                                   VitalPeriodDataInit;
        VARIABLE Pviol_TRST         : X01 := '0';

    BEGIN
        IF TimingChecksOn THEN

            VitalSetupHoldCheck (
                TestSignal      => AddressL,
                TestSignalName  => "Left Address",
                RefSignal       => ClockL,
                RefSignalName   => "ClockL",
                SetupHigh       => tsetup_A0_CLK,
                SetupLow        => tsetup_A0_CLK,
                HoldHigh        => thold_A0_CLK,
                HoldLow         => thold_A0_CLK,
                CheckEnabled    => true,
                RefTransition   => '/',
                HeaderMsg       => InstancePath & PartID,
                TimingData      => TD_AL_CLK,
                XOn             => XOn,
                MsgOn           => MsgOn,
                Violation       => Tviol_AL_CLK );

            VitalSetupHoldCheck (
                TestSignal      => AddressR,
                TestSignalName  => "Right Address",
                RefSignal       => ClockR,
                RefSignalName   => "ClockR",
                SetupHigh       => tsetup_A0_CLK,
                SetupLow        => tsetup_A0_CLK,
                HoldHigh        => thold_A0_CLK,
                HoldLow         => thold_A0_CLK,
                CheckEnabled    => true,
                RefTransition   => '/',
                HeaderMsg       => InstancePath & PartID,
                TimingData      => TD_AR_CLK,
                XOn             => XOn,
                MsgOn           => MsgOn,
                Violation       => Tviol_AR_CLK );

            VitalSetupHoldCheck (
                TestSignal      => DataInL,
                TestSignalName  => "Left Data",
                RefSignal       => ClockL,
                RefSignalName   => "ClockL",
                SetupHigh       => tsetup_A0_CLK,
                SetupLow        => tsetup_A0_CLK,
                HoldHigh        => thold_A0_CLK,
                HoldLow         => thold_A0_CLK,
                CheckEnabled    => true,
                RefTransition   => '/',
                HeaderMsg       => InstancePath & PartID,
                TimingData      => TD_DL_CLK,
                XOn             => XOn,
                MsgOn           => MsgOn,
                Violation       => Tviol_DL_CLK );

            VitalSetupHoldCheck (
                TestSignal      => DataInR,
                TestSignalName  => "Right Data",
                RefSignal       => ClockR,
                RefSignalName   => "ClockR",
                SetupHigh       => tsetup_A0_CLK,
                SetupLow        => tsetup_A0_CLK,
                HoldHigh        => thold_A0_CLK,
                HoldLow         => thold_A0_CLK,
                CheckEnabled    => true,
                RefTransition   => '/',
                HeaderMsg       => InstancePath & PartID,
                TimingData      => TD_DR_CLK,
                XOn             => XOn,
                MsgOn           => MsgOn,
                Violation       => Tviol_DR_CLK );

            VitalSetupHoldCheck (
                TestSignal      => CEL,
                TestSignalName  => "CE Left",
                RefSignal       => ClockL,
                RefSignalName   => "ClockL",
                SetupHigh       => tsetup_A0_CLK,
                SetupLow        => tsetup_A0_CLK,
                HoldHigh        => thold_A0_CLK,
                HoldLow         => thold_A0_CLK,
                CheckEnabled    => true,
                RefTransition   => '/',
                HeaderMsg       => InstancePath & PartID,
                TimingData      => TD_CEL_CLK,
                XOn             => XOn,
                MsgOn           => MsgOn,
                Violation       => Tviol_CEL_CLK );

            VitalSetupHoldCheck (
                TestSignal      => CER,
                TestSignalName  => "CE Right",
                RefSignal       => ClockR,
                RefSignalName   => "ClockR",
                SetupHigh       => tsetup_A0_CLK,
                SetupLow        => tsetup_A0_CLK,
                HoldHigh        => thold_A0_CLK,
                HoldLow         => thold_A0_CLK,
                CheckEnabled    => true,
                RefTransition   => '/',
                HeaderMsg       => InstancePath & PartID,
                TimingData      => TD_CER_CLK,
                XOn             => XOn,
                MsgOn           => MsgOn,
                Violation       => Tviol_CER_CLK );

            VitalSetupHoldCheck (
                TestSignal      => BENegL(1),
                TestSignalName  => "UBE Left",
                RefSignal       => ClockL,
                RefSignalName   => "ClockL",
                SetupHigh       => tsetup_A0_CLK,
                SetupLow        => tsetup_A0_CLK,
                HoldHigh        => thold_A0_CLK,
                HoldLow         => thold_A0_CLK,
                CheckEnabled    => true,
                RefTransition   => '/',
                HeaderMsg       => InstancePath & PartID,
                TimingData      => TD_UBEL_CLK,
                XOn             => XOn,
                MsgOn           => MsgOn,
                Violation       => Tviol_UBEL_CLK );

            VitalSetupHoldCheck (
                TestSignal      => BENegL(0),
                TestSignalName  => "LBE Left",
                RefSignal       => ClockL,
                RefSignalName   => "ClockL",
                SetupHigh       => tsetup_A0_CLK,
                SetupLow        => tsetup_A0_CLK,
                HoldHigh        => thold_A0_CLK,
                HoldLow         => thold_A0_CLK,
                CheckEnabled    => true,
                RefTransition   => '/',
                HeaderMsg       => InstancePath & PartID,
                TimingData      => TD_LBEL_CLK,
                XOn             => XOn,
                MsgOn           => MsgOn,
                Violation       => Tviol_LBEL_CLK );

            VitalSetupHoldCheck (
                TestSignal      => BENegR(1),
                TestSignalName  => "UBE Right",
                RefSignal       => ClockR,
                RefSignalName   => "ClockR",
                SetupHigh       => tsetup_A0_CLK,
                SetupLow        => tsetup_A0_CLK,
                HoldHigh        => thold_A0_CLK,
                HoldLow         => thold_A0_CLK,
                CheckEnabled    => true,
                RefTransition   => '/',
                HeaderMsg       => InstancePath & PartID,
                TimingData      => TD_UBER_CLK,
                XOn             => XOn,
                MsgOn           => MsgOn,
                Violation       => Tviol_UBER_CLK );

            VitalSetupHoldCheck (
                TestSignal      => BENegR(0),
                TestSignalName  => "LBE Right",
                RefSignal       => ClockR,
                RefSignalName   => "ClockR",
                SetupHigh       => tsetup_A0_CLK,
                SetupLow        => tsetup_A0_CLK,
                HoldHigh        => thold_A0_CLK,
                HoldLow         => thold_A0_CLK,
                CheckEnabled    => true,
                RefTransition   => '/',
                HeaderMsg       => InstancePath & PartID,
                TimingData      => TD_LBER_CLK,
                XOn             => XOn,
                MsgOn           => MsgOn,
                Violation       => Tviol_LBER_CLK );

            VitalSetupHoldCheck (
                TestSignal      => RWL,
                TestSignalName  => "R/W Left",
                RefSignal       => ClockL,
                RefSignalName   => "ClockL",
                SetupHigh       => tsetup_A0_CLK,
                SetupLow        => tsetup_A0_CLK,
                HoldHigh        => thold_A0_CLK,
                HoldLow         => thold_A0_CLK,
                CheckEnabled    => true,
                RefTransition   => '/',
                HeaderMsg       => InstancePath & PartID,
                TimingData      => TD_RWL_CLK,
                XOn             => XOn,
                MsgOn           => MsgOn,
                Violation       => Tviol_RWL_CLK );

            VitalSetupHoldCheck (
                TestSignal      => RWR,
                TestSignalName  => "R/W Right",
                RefSignal       => ClockR,
                RefSignalName   => "ClockR",
                SetupHigh       => tsetup_A0_CLK,
                SetupLow        => tsetup_A0_CLK,
                HoldHigh        => thold_A0_CLK,
                HoldLow         => thold_A0_CLK,
                CheckEnabled    => true,
                RefTransition   => '/',
                HeaderMsg       => InstancePath & PartID,
                TimingData      => TD_RWR_CLK,
                XOn             => XOn,
                MsgOn           => MsgOn,
                Violation       => Tviol_RWR_CLK );

            VitalSetupHoldCheck (