k4s161622d.vhd

vhdl cod for ram.For sp3e

--------------------------------------------------------------------------------
--  File Name: k4s161622d.vhd
--------------------------------------------------------------------------------
--  Copyright (C) 2002, 2003 Free Model Foundry; http://www.FreeModelFoundry.com
-- 
--  This program is free software; you can redistribute it and/or modify
--  it under the terms of the GNU General Public License version 2 as
--  published by the Free Software Foundation.
-- 
--  MODIFICATION HISTORY:
-- 
--  version: |  author:  | mod date: | changes made:
--    V1.0    B.Bizic     02 FEB 22   Initial release
--    V1.1    R. Munden   03 MAR 08   Changed mem_file declaration to VHDL'93,
--                                    Changed type of some _nwv signals to
--                                    satisfy ncvhdl
-- 
--------------------------------------------------------------------------------
--  PART DESCRIPTION:
-- 
--  Library:    RAM
--  Technology: LVTTL
--  Part:       K4S161622D
-- 
--  Description: 512K x 16Bit x 2 Banks SDRAM
--------------------------------------------------------------------------------

LIBRARY IEEE;   USE IEEE.std_logic_1164.ALL;
                USE IEEE.VITAL_timing.ALL;
                USE IEEE.VITAL_primitives.ALL;
                USE STD.textio.ALL;
LIBRARY FMF;    USE FMF.gen_utils.ALL;
                USE FMF.conversions.ALL;

--------------------------------------------------------------------------------
-- ENTITY DECLARATION
--------------------------------------------------------------------------------
ENTITY k4s161622d IS
    GENERIC (
        -- tipd delays: interconnect path delays
        tipd_BA                  : VitalDelayType01 := VitalZeroDelay01;
        tipd_LDQM                : VitalDelayType01 := VitalZeroDelay01;
        tipd_UDQM                : VitalDelayType01 := VitalZeroDelay01;
        tipd_DQ0                 : VitalDelayType01 := VitalZeroDelay01;
        tipd_DQ1                 : VitalDelayType01 := VitalZeroDelay01;
        tipd_DQ2                 : VitalDelayType01 := VitalZeroDelay01;
        tipd_DQ3                 : VitalDelayType01 := VitalZeroDelay01;
        tipd_DQ4                 : VitalDelayType01 := VitalZeroDelay01;
        tipd_DQ5                 : VitalDelayType01 := VitalZeroDelay01;
        tipd_DQ6                 : VitalDelayType01 := VitalZeroDelay01;
        tipd_DQ7                 : VitalDelayType01 := VitalZeroDelay01;
        tipd_DQ8                 : VitalDelayType01 := VitalZeroDelay01;
        tipd_DQ9                 : VitalDelayType01 := VitalZeroDelay01;
        tipd_DQ10                : VitalDelayType01 := VitalZeroDelay01;
        tipd_DQ11                : VitalDelayType01 := VitalZeroDelay01;
        tipd_DQ12                : VitalDelayType01 := VitalZeroDelay01;
        tipd_DQ13                : VitalDelayType01 := VitalZeroDelay01;
        tipd_DQ14                : VitalDelayType01 := VitalZeroDelay01;
        tipd_DQ15                : VitalDelayType01 := VitalZeroDelay01;
        tipd_CLK                 : VitalDelayType01 := VitalZeroDelay01;
        tipd_CKE                 : VitalDelayType01 := VitalZeroDelay01;
        tipd_A0                  : VitalDelayType01 := VitalZeroDelay01;
        tipd_A1                  : VitalDelayType01 := VitalZeroDelay01;
        tipd_A2                  : VitalDelayType01 := VitalZeroDelay01;
        tipd_A3                  : VitalDelayType01 := VitalZeroDelay01;
        tipd_A4                  : VitalDelayType01 := VitalZeroDelay01;
        tipd_A5                  : VitalDelayType01 := VitalZeroDelay01;
        tipd_A6                  : VitalDelayType01 := VitalZeroDelay01;
        tipd_A7                  : VitalDelayType01 := VitalZeroDelay01;
        tipd_A8                  : VitalDelayType01 := VitalZeroDelay01;
        tipd_A9                  : VitalDelayType01 := VitalZeroDelay01;
        tipd_A10                 : VitalDelayType01 := VitalZeroDelay01;
        tipd_WENeg               : VitalDelayType01 := VitalZeroDelay01;
        tipd_RASNeg              : VitalDelayType01 := VitalZeroDelay01;
        tipd_CSNeg               : VitalDelayType01 := VitalZeroDelay01;
        tipd_CASNeg              : VitalDelayType01 := VitalZeroDelay01;
        -- tpd delays
        tpd_CLK_DQ2              : VitalDelayType01Z := UnitDelay01Z;
        tpd_CLK_DQ3              : VitalDelayType01Z := UnitDelay01Z;
        -- tpw values: pulse widths
        tpw_CLK_posedge          : VitalDelayType    := UnitDelay;
        tpw_CLK_negedge          : VitalDelayType    := UnitDelay;
        -- tsetup values: setup times
        tsetup_DQ0_CLK           : VitalDelayType    := UnitDelay;
        -- thold values: hold times
        thold_DQ0_CLK            : VitalDelayType    := UnitDelay;
        -- tperiod_min: minimum clock period = 1/max freq
        -- CAS latency = 2
        tperiod_CLK_posedge      : VitalDelayType    := UnitDelay;
        -- CAS latency = 3
        tperiod_CLK_negedge      : VitalDelayType    := UnitDelay;
        -- tdevice values: values for internal delays
        tdevice_REF              : VitalDelayType    := 15_625 us;
        tdevice_TRC              : VitalDelayType    := 90 ns;
        tdevice_TRCD             : VitalDelayType    := 30 ns;
        tdevice_TRP              : VitalDelayType    := 30 ns;
        tdevice_TRCAR            : VitalDelayType    := 90 ns;
        tdevice_TWR              : VitalDelayType    := 15 ns;
        tdevice_TRAS             : VitalDelayType01  := (60 ns, 120_000 ns);
        -- tpowerup: Power up initialization time. Data sheets say 200 us.
        -- May be shortened during simulation debug.
        tpowerup            : TIME      := 200 us;
        -- generic control parameters
        InstancePath        : STRING    := DefaultInstancePath;
        TimingChecksOn      : BOOLEAN   := DefaultTimingChecks;
        MsgOn               : BOOLEAN   := DefaultMsgOn;
        XOn                 : BOOLEAN   := DefaultXon;
        SeverityMode        : SEVERITY_LEVEL := WARNING;
        -- memory file to be loaded
        mem_file_name       : STRING    := "k4s161622d.mem";
        -- For FMF SDF technology file usage
        TimingModel         : STRING    := DefaultTimingModel
    );
    PORT (
        BA              : IN    std_ulogic := 'U';
        LDQM            : IN    std_ulogic := 'U';
        UDQM            : IN    std_ulogic := 'U';
        DQ0             : INOUT std_ulogic := 'U';
        DQ1             : INOUT std_ulogic := 'U';
        DQ2             : INOUT std_ulogic := 'U';
        DQ3             : INOUT std_ulogic := 'U';
        DQ4             : INOUT std_ulogic := 'U';
        DQ5             : INOUT std_ulogic := 'U';
        DQ6             : INOUT std_ulogic := 'U';
        DQ7             : INOUT std_ulogic := 'U';
        DQ8             : INOUT std_ulogic := 'U';
        DQ9             : INOUT std_ulogic := 'U';
        DQ10            : INOUT std_ulogic := 'U';
        DQ11            : INOUT std_ulogic := 'U';
        DQ12            : INOUT std_ulogic := 'U';
        DQ13            : INOUT std_ulogic := 'U';
        DQ14            : INOUT std_ulogic := 'U';
        DQ15            : INOUT std_ulogic := 'U';
        CLK             : IN    std_ulogic := 'U';
        CKE             : IN    std_ulogic := 'U';
        A0              : IN    std_ulogic := 'U';
        A1              : IN    std_ulogic := 'U';
        A2              : IN    std_ulogic := 'U';
        A3              : IN    std_ulogic := 'U';
        A4              : IN    std_ulogic := 'U';
        A5              : IN    std_ulogic := 'U';
        A6              : IN    std_ulogic := 'U';
        A7              : IN    std_ulogic := 'U';
        A8              : IN    std_ulogic := 'U';
        A9              : IN    std_ulogic := 'U';
        A10             : IN    std_ulogic := 'U';
        WENeg           : IN    std_ulogic := 'U';
        RASNeg          : IN    std_ulogic := 'U';
        CSNeg           : IN    std_ulogic := 'U';
        CASNeg          : IN    std_ulogic := 'U'
    );
    ATTRIBUTE VITAL_LEVEL0 of k4s161622d : ENTITY IS TRUE;
END k4s161622d;

--------------------------------------------------------------------------------
-- ARCHITECTURE DECLARATION
--------------------------------------------------------------------------------
ARCHITECTURE vhdl_behavioral of k4s161622d IS
    ATTRIBUTE VITAL_LEVEL0 of vhdl_behavioral : ARCHITECTURE IS TRUE;

    CONSTANT partID         : STRING := "k4s161622d";
    CONSTANT hi_bank        : NATURAL := 1;
    CONSTANT depth          : NATURAL := 524287;

    SIGNAL CKEreg              : X01 := 'X';
    SIGNAL PoweredUp           : boolean := false;

    SIGNAL BA_ipd              : std_ulogic := 'U';
    SIGNAL LDQM_ipd            : std_ulogic := 'U';
    SIGNAL UDQM_ipd            : std_ulogic := 'U';
    SIGNAL DQ0_ipd             : std_ulogic := 'U';
    SIGNAL DQ1_ipd             : std_ulogic := 'U';
    SIGNAL DQ2_ipd             : std_ulogic := 'U';
    SIGNAL DQ3_ipd             : std_ulogic := 'U';
    SIGNAL DQ4_ipd             : std_ulogic := 'U';
    SIGNAL DQ5_ipd             : std_ulogic := 'U';
    SIGNAL DQ6_ipd             : std_ulogic := 'U';
    SIGNAL DQ7_ipd             : std_ulogic := 'U';
    SIGNAL DQ8_ipd             : std_ulogic := 'U';
    SIGNAL DQ9_ipd             : std_ulogic := 'U';
    SIGNAL DQ10_ipd            : std_ulogic := 'U';
    SIGNAL DQ11_ipd            : std_ulogic := 'U';
    SIGNAL DQ12_ipd            : std_ulogic := 'U';
    SIGNAL DQ13_ipd            : std_ulogic := 'U';
    SIGNAL DQ14_ipd            : std_ulogic := 'U';
    SIGNAL DQ15_ipd            : std_ulogic := 'U';
    SIGNAL CLK_ipd             : std_ulogic := 'U';
    SIGNAL CKE_ipd             : std_ulogic := 'U';
    SIGNAL A0_ipd              : std_ulogic := 'U';
    SIGNAL A1_ipd              : std_ulogic := 'U';
    SIGNAL A2_ipd              : std_ulogic := 'U';
    SIGNAL A3_ipd              : std_ulogic := 'U';
    SIGNAL A4_ipd              : std_ulogic := 'U';
    SIGNAL A5_ipd              : std_ulogic := 'U';
    SIGNAL A6_ipd              : std_ulogic := 'U';
    SIGNAL A7_ipd              : std_ulogic := 'U';
    SIGNAL A8_ipd              : std_ulogic := 'U';
    SIGNAL A9_ipd              : std_ulogic := 'U';
    SIGNAL A10_ipd             : std_ulogic := 'U';
    SIGNAL WENeg_ipd           : std_ulogic := 'U';
    SIGNAL RASNeg_ipd          : std_ulogic := 'U';
    SIGNAL CSNeg_ipd           : std_ulogic := 'U';
    SIGNAL CASNeg_ipd          : std_ulogic := 'U';

    SIGNAL BA_nwv            : std_ulogic := 'U';
    SIGNAL LDQM_nwv          : std_ulogic := 'U';
    SIGNAL UDQM_nwv          : std_ulogic := 'U';
    SIGNAL DQ0_nwv           : UX01 := 'U';
    SIGNAL DQ1_nwv           : UX01 := 'U';
    SIGNAL DQ2_nwv           : UX01 := 'U';
    SIGNAL DQ3_nwv           : UX01 := 'U';
    SIGNAL DQ4_nwv           : UX01 := 'U';
    SIGNAL DQ5_nwv           : UX01 := 'U';
    SIGNAL DQ6_nwv           : UX01 := 'U';
    SIGNAL DQ7_nwv           : UX01 := 'U';
    SIGNAL DQ8_nwv           : UX01 := 'U';
    SIGNAL DQ9_nwv           : UX01 := 'U';
    SIGNAL DQ10_nwv          : UX01 := 'U';
    SIGNAL DQ11_nwv          : UX01 := 'U';
    SIGNAL DQ12_nwv          : UX01 := 'U';
    SIGNAL DQ13_nwv          : UX01 := 'U';
    SIGNAL DQ14_nwv          : UX01 := 'U';
    SIGNAL DQ15_nwv          : UX01 := 'U';
    SIGNAL A0_nwv            : UX01 := 'U';
    SIGNAL A1_nwv            : UX01 := 'U';
    SIGNAL A2_nwv            : UX01 := 'U';
    SIGNAL A3_nwv            : UX01 := 'U';
    SIGNAL A4_nwv            : UX01 := 'U';
    SIGNAL A5_nwv            : UX01 := 'U';
    SIGNAL A6_nwv            : UX01 := 'U';
    SIGNAL A7_nwv            : UX01 := 'U';
    SIGNAL A8_nwv            : UX01 := 'U';
    SIGNAL A9_nwv            : UX01 := 'U';
    SIGNAL A10_nwv           : UX01 := 'U';
    SIGNAL CLK_nwv           : std_ulogic := 'U';
    SIGNAL CKE_nwv           : std_ulogic := 'U';
    SIGNAL WENeg_nwv         : std_ulogic := 'U';
    SIGNAL RASNeg_nwv        : std_ulogic := 'U';
    SIGNAL CSNeg_nwv         : std_ulogic := 'U';
    SIGNAL CASNeg_nwv        : std_ulogic := 'U';

    SIGNAL rct_in            : std_ulogic := '0';
    SIGNAL rct_out           : std_ulogic := '0';
    SIGNAL rcdt_in           : std_ulogic_vector(1 downto 0) := (others => '0');
    SIGNAL rcdt_out          : std_ulogic_vector(1 downto 0) := (others => '0');
    SIGNAL pre_in            : std_ulogic := '0';
    SIGNAL pre_out           : std_ulogic := '0';
    SIGNAL refreshed_in      : std_ulogic := '0';
    SIGNAL refreshed_out     : std_ulogic := '0';
    SIGNAL wrt_in            : std_ulogic := '0';
    SIGNAL wrt_out           : std_ulogic := '0';
    SIGNAL ras_in            : std_ulogic_vector(1 downto 0) := (others => '0');
    SIGNAL ras_out           : std_ulogic_vector(1 downto 0) := (others => '0');


BEGIN

    ----------------------------------------------------------------------------
    -- Internal Delays
    ----------------------------------------------------------------------------
    -- Artificial VITAL primitives to incorporate internal delays
    REF : VitalBuf (refreshed_out, refreshed_in, (UnitDelay, tdevice_REF));
    TRC : VitalBuf (rct_out, rct_in, (tdevice_TRC, UnitDelay));
    TRCD : VitalBuf (rcdt_out(0), rcdt_in(0), (UnitDelay, tdevice_TRCD));
    TRCD1 : VitalBuf (rcdt_out(1), rcdt_in(1), (UnitDelay, tdevice_TRCD));
    TRP : VitalBuf (pre_out, pre_in, (tdevice_TRP, UnitDelay));
    TRAS : VitalBuf (ras_out(0), ras_in(0), tdevice_TRAS);
    TRAS1 : VitalBuf (ras_out(1), ras_in(1), tdevice_TRAS);

    ----------------------------------------------------------------------------
    -- Wire Delays
    ----------------------------------------------------------------------------
    WireDelay : BLOCK
    BEGIN

        w_1 : VitalWireDelay (BA_ipd, BA, tipd_BA);
        w_3 : VitalWireDelay (LDQM_ipd, LDQM, tipd_LDQM);
        w_4 : VitalWireDelay (UDQM_ipd, UDQM, tipd_UDQM);
        w_7 : VitalWireDelay (DQ0_ipd, DQ0, tipd_DQ0);
        w_8 : VitalWireDelay (DQ1_ipd, DQ1, tipd_DQ1);
        w_9 : VitalWireDelay (DQ2_ipd, DQ2, tipd_DQ2);
        w_10 : VitalWireDelay (DQ3_ipd, DQ3, tipd_DQ3);
        w_11 : VitalWireDelay (DQ4_ipd, DQ4, tipd_DQ4);