fifo7881.vhd

VHDL的ram和fifo model code 包含众多的厂家

                RefTransition   =>  '/',
                HeaderMsg       =>  InstancePath & "/fifo7881",
                TimingData      =>  TD_D13_WCLK,
                XOn             =>  XOn,
                MsgOn           =>  MsgOn,
                Violation       =>  Tviol_D13_WCLK );

            VitalSetupHoldCheck (
                TestSignal      =>  D14_ipd,
                TestSignalName  => "D14_ipd",
                RefSignal       =>  WCLK_ipd,
                RefSignalName   =>  "WCLK_ipd",
                SetupHigh       =>  tsetup_D0_WCLK,
                SetupLow        =>  tsetup_D0_WCLK,
                HoldHigh        =>  thold_D0_WCLK,
                HoldLow         =>  thold_D0_WCLK,
                CheckEnabled    =>  TRUE,
                RefTransition   =>  '/',
                HeaderMsg       =>  InstancePath & "/fifo7881",
                TimingData      =>  TD_D14_WCLK,
                XOn             =>  XOn,
                MsgOn           =>  MsgOn,
                Violation       =>  Tviol_D14_WCLK );

            VitalSetupHoldCheck (
                TestSignal      =>  D15_ipd,
                TestSignalName  => "D15_ipd",
                RefSignal       =>  WCLK_ipd,
                RefSignalName   =>  "WCLK_ipd",
                SetupHigh       =>  tsetup_D0_WCLK,
                SetupLow        =>  tsetup_D0_WCLK,
                HoldHigh        =>  thold_D0_WCLK,
                HoldLow         =>  thold_D0_WCLK,
                CheckEnabled    =>  TRUE,
                RefTransition   =>  '/',
                HeaderMsg       =>  InstancePath & "/fifo7881",
                TimingData      =>  TD_D15_WCLK,
                XOn             =>  XOn,
                MsgOn           =>  MsgOn,
                Violation       =>  Tviol_D15_WCLK );

            VitalSetupHoldCheck (
                TestSignal      =>  D16_ipd,
                TestSignalName  => "D16_ipd",
                RefSignal       =>  WCLK_ipd,
                RefSignalName   =>  "WCLK_ipd",
                SetupHigh       =>  tsetup_D0_WCLK,
                SetupLow        =>  tsetup_D0_WCLK,
                HoldHigh        =>  thold_D0_WCLK,
                HoldLow         =>  thold_D0_WCLK,
                CheckEnabled    =>  TRUE,
                RefTransition   =>  '/',
                HeaderMsg       =>  InstancePath & "/fifo7881",
                TimingData      =>  TD_D16_WCLK,
                XOn             =>  XOn,
                MsgOn           =>  MsgOn,
                Violation       =>  Tviol_D16_WCLK );

            VitalSetupHoldCheck (
                TestSignal      =>  D17_ipd,
                TestSignalName  => "D17_ipd",
                RefSignal       =>  WCLK_ipd,
                RefSignalName   =>  "WCLK_ipd",
                SetupHigh       =>  tsetup_D0_WCLK,
                SetupLow        =>  tsetup_D0_WCLK,
                HoldHigh        =>  thold_D0_WCLK,
                HoldLow         =>  thold_D0_WCLK,
                CheckEnabled    =>  TRUE,
                RefTransition   =>  '/',
                HeaderMsg       =>  InstancePath & "/fifo7881",
                TimingData      =>  TD_D17_WCLK,
                XOn             =>  XOn,
                MsgOn           =>  MsgOn,
                Violation       =>  Tviol_D17_WCLK );

            VitalSetupHoldCheck (
                TestSignal      =>  D0_ipd,
                TestSignalName  => "D0_ipd",
                RefSignal       =>  DAFNeg_ipd,
                RefSignalName   =>  "DAFNeg_ipd",
                SetupHigh       =>  tsetup_D0_DAFNeg,
                SetupLow        =>  tsetup_D0_DAFNeg,
                HoldHigh        =>  thold_D0_DAFNeg,
                HoldLow         =>  thold_D0_DAFNeg,
                CheckEnabled    =>  TRUE,
                RefTransition   =>  '\',
                HeaderMsg       =>  InstancePath & "/fifo7881",
                TimingData      =>  TD_D0_DAFNeg,
                XOn             =>  XOn,
                MsgOn           =>  MsgOn,
                Violation       =>  Tviol_D0_DAFNeg );

            VitalSetupHoldCheck (
                TestSignal      =>  D1_ipd,
                TestSignalName  => "D1_ipd",
                RefSignal       =>  DAFNeg_ipd,
                RefSignalName   =>  "DAFNeg_ipd",
                SetupHigh       =>  tsetup_D0_DAFNeg,
                SetupLow        =>  tsetup_D0_DAFNeg,
                HoldHigh        =>  thold_D0_DAFNeg,
                HoldLow         =>  thold_D0_DAFNeg,
                CheckEnabled    =>  TRUE,
                RefTransition   =>  '\',
                HeaderMsg       =>  InstancePath & "/fifo7881",
                TimingData      =>  TD_D1_DAFNeg,
                XOn             =>  XOn,
                MsgOn           =>  MsgOn,
                Violation       =>  Tviol_D1_DAFNeg );

            VitalSetupHoldCheck (
                TestSignal      =>  D2_ipd,
                TestSignalName  => "D2_ipd",
                RefSignal       =>  DAFNeg_ipd,
                RefSignalName   =>  "DAFNeg_ipd",
                SetupHigh       =>  tsetup_D0_DAFNeg,
                SetupLow        =>  tsetup_D0_DAFNeg,
                HoldHigh        =>  thold_D0_DAFNeg,
                HoldLow         =>  thold_D0_DAFNeg,
                CheckEnabled    =>  TRUE,
                RefTransition   =>  '\',
                HeaderMsg       =>  InstancePath & "/fifo7881",
                TimingData      =>  TD_D2_DAFNeg,
                XOn             =>  XOn,
                MsgOn           =>  MsgOn,
                Violation       =>  Tviol_D2_DAFNeg );

            VitalSetupHoldCheck (
                TestSignal      =>  D3_ipd,
                TestSignalName  => "D3_ipd",
                RefSignal       =>  DAFNeg_ipd,
                RefSignalName   =>  "DAFNeg_ipd",
                SetupHigh       =>  tsetup_D0_DAFNeg,
                SetupLow        =>  tsetup_D0_DAFNeg,
                HoldHigh        =>  thold_D0_DAFNeg,
                HoldLow         =>  thold_D0_DAFNeg,
                CheckEnabled    =>  TRUE,
                RefTransition   =>  '\',
                HeaderMsg       =>  InstancePath & "/fifo7881",
                TimingData      =>  TD_D3_DAFNeg,
                XOn             =>  XOn,
                MsgOn           =>  MsgOn,
                Violation       =>  Tviol_D3_DAFNeg );

            VitalSetupHoldCheck (
                TestSignal      =>  D4_ipd,
                TestSignalName  => "D4_ipd",
                RefSignal       =>  DAFNeg_ipd,
                RefSignalName   =>  "DAFNeg_ipd",
                SetupHigh       =>  tsetup_D0_DAFNeg,
                SetupLow        =>  tsetup_D0_DAFNeg,
                HoldHigh        =>  thold_D0_DAFNeg,
                HoldLow         =>  thold_D0_DAFNeg,
                CheckEnabled    =>  TRUE,
                RefTransition   =>  '\',
                HeaderMsg       =>  InstancePath & "/fifo7881",
                TimingData      =>  TD_D4_DAFNeg,
                XOn             =>  XOn,
                MsgOn           =>  MsgOn,
                Violation       =>  Tviol_D4_DAFNeg );


            VitalSetupHoldCheck (
                TestSignal      =>  D5_ipd,
                TestSignalName  => "D5_ipd",
                RefSignal       =>  DAFNeg_ipd,
                RefSignalName   =>  "DAFNeg_ipd",
                SetupHigh       =>  tsetup_D0_DAFNeg,
                SetupLow        =>  tsetup_D0_DAFNeg,
                HoldHigh        =>  thold_D0_DAFNeg,
                HoldLow         =>  thold_D0_DAFNeg,
                CheckEnabled    =>  TRUE,
                RefTransition   =>  '\',
                HeaderMsg       =>  InstancePath & "/fifo7881",
                TimingData      =>  TD_D5_DAFNeg,
                XOn             =>  XOn,
                MsgOn           =>  MsgOn,
                Violation       =>  Tviol_D5_DAFNeg );

            VitalSetupHoldCheck (
                TestSignal      =>  D6_ipd,
                TestSignalName  => "D6_ipd",
                RefSignal       =>  DAFNeg_ipd,
                RefSignalName   =>  "DAFNeg_ipd",
                SetupHigh       =>  tsetup_D0_DAFNeg,
                SetupLow        =>  tsetup_D0_DAFNeg,
                HoldHigh        =>  thold_D0_DAFNeg,
                HoldLow         =>  thold_D0_DAFNeg,
                CheckEnabled    =>  TRUE,
                RefTransition   =>  '\',
                HeaderMsg       =>  InstancePath & "/fifo7881",
                TimingData      =>  TD_D6_DAFNeg,
                XOn             =>  XOn,
                MsgOn           =>  MsgOn,
                Violation       =>  Tviol_D6_DAFNeg );

            VitalSetupHoldCheck (
                TestSignal      =>  D7_ipd,
                TestSignalName  => "D7_ipd",
                RefSignal       =>  DAFNeg_ipd,
                RefSignalName   =>  "DAFNeg_ipd",
                SetupHigh       =>  tsetup_D0_DAFNeg,
                SetupLow        =>  tsetup_D0_DAFNeg,
                HoldHigh        =>  thold_D0_DAFNeg,
                HoldLow         =>  thold_D0_DAFNeg,
                CheckEnabled    =>  TRUE,
                RefTransition   =>  '\',
                HeaderMsg       =>  InstancePath & "/fifo7881",
                TimingData      =>  TD_D7_DAFNeg,
                XOn             =>  XOn,
                MsgOn           =>  MsgOn,
                Violation       =>  Tviol_D7_DAFNeg );

            VitalSetupHoldCheck (
                TestSignal      =>  D8_ipd,
                TestSignalName  => "D8_ipd",
                RefSignal       =>  DAFNeg_ipd,
                RefSignalName   =>  "DAFNeg_ipd",
                SetupHigh       =>  tsetup_D0_DAFNeg,
                SetupLow        =>  tsetup_D0_DAFNeg,
                HoldHigh        =>  thold_D0_DAFNeg,
                HoldLow         =>  thold_D0_DAFNeg,
                CheckEnabled    =>  TRUE,
                RefTransition   =>  '\',
                HeaderMsg       =>  InstancePath & "/fifo7881",
                TimingData      =>  TD_D8_DAFNeg,
                XOn             =>  XOn,
                MsgOn           =>  MsgOn,
                Violation       =>  Tviol_D8_DAFNeg );

            VitalSetupHoldCheck (
                TestSignal      =>  WEN1_ipd,
                TestSignalName  => "WEN1_ipd",
                RefSignal       =>  WCLK_ipd,
                RefSignalName   =>  "WCLK_ipd",
                SetupHigh       =>  tsetup_WEN1_WCLK,
                HoldHigh        =>  thold_WEN1_WCLK,
                CheckEnabled    =>  TRUE,
                RefTransition   =>  '/',
                HeaderMsg       =>  InstancePath & "/fifo7881",
                TimingData      =>  TD_WEN1_WCLK,
                XOn             =>  XOn,
                MsgOn           =>  MsgOn,
                Violation       =>  Tviol_WEN1_WCLK );

            VitalSetupHoldCheck (
                TestSignal      =>  WEN2_ipd,
                TestSignalName  => "WEN2_ipd",
                RefSignal       =>  WCLK_ipd,
                RefSignalName   =>  "WCLK_ipd",
                SetupHigh       =>  tsetup_WEN1_WCLK,
                HoldHigh        =>  thold_WEN1_WCLK,
                CheckEnabled    =>  TRUE,
                RefTransition   =>  '/',
                HeaderMsg       =>  InstancePath & "/fifo7881",
                TimingData      =>  TD_WEN2_WCLK,
                XOn             =>  XOn,
                MsgOn           =>  MsgOn,
                Violation       =>  Tviol_WEN2_WCLK );

            VitalSetupHoldCheck (
                TestSignal      =>  REN1_ipd,
                TestSignalName  => "REN1_ipd",
                RefSignal       =>  RCLK_ipd,
                RefSignalName   =>  "RCLK",
                SetupHigh       =>  tsetup_REN1_RCLK,
                HoldHigh        =>  thold_REN1_RCLK,
                CheckEnabled    =>  TRUE,
                RefTransition   =>  '/',
                HeaderMsg       =>  InstancePath & "/fifo7881",
                TimingData      =>  TD_REN1_RCLK,
                XOn             =>  XOn,
                MsgOn           =>  MsgOn,
                Violation       =>  Tviol_REN1_RCLK );

            VitalSetupHoldCheck (
                TestSignal      =>  REN2_ipd,
                TestSignalName  => "REN2_ipd",
                RefSignal       =>  RCLK_ipd,
                RefSignalName   =>  "RCLK",
                SetupHigh       =>  tsetup_REN1_RCLK,
                HoldHigh        =>  thold_REN1_RCLK,
                CheckEnabled    =>  TRUE,
                RefTransition   =>  '/',
                HeaderMsg       =>  InstancePath & "/fifo7881",
                TimingData      =>  TD_REN2_RCLK,
                XOn             =>  XOn,
                MsgOn           =>  MsgOn,
                Violation       =>  Tviol_REN2_RCLK );

            VitalSetupHoldCheck (
                TestSignal      =>  OE_ipd,
                TestSignalName  => "OE_ipd",
                RefSignal       =>  RCLK_ipd,
                RefSignalName   =>  "RCLK",
                SetupHigh       =>  tsetup_OE_RCLK,
                HoldHigh        =>  thold_OE_RCLK,
                CheckEnabled    =>  TRUE,
                RefTransition   =>  '/',
                HeaderMsg       =>  InstancePath & "/fifo7881",
                TimingData      =>  TD_OE_RCLK,
                XOn             =>  XOn,
                MsgOn           =>  MsgOn,
                Violation       =>  Tviol_OE_RCLK );

            VitalSetupHoldCheck (
                TestSignal      =>  RSNeg_ipd,
                TestSignalName  => "RSNeg_ipd",
                RefSignal       =>  RCLK_ipd,
                RefSignalName   =>  "RCLK",
                SetupLow        =>  tsetup_RSNeg_RCLK,
                HoldLow         =>  thold_RSNeg_RCLK,
                CheckEnabled    =>  TRUE,
                RefTransition   =>  '/',
                HeaderMsg       =>  InstancePath & "/fifo7881",
                TimingData      =>  TD_RSNeg_RCLK,
                XOn             =>  XOn,
                MsgOn           =>  MsgOn,
                Violation       =>  Tviol_RSNeg_RCLK );

            VitalSetupHoldCheck (
                TestSignal      =>  RSNeg_ipd,