-------------------------------------------------------------------------------- -- File Name: cy7c1334.vhd -------------------------------------------------------------------------------- -- Copyright (C) 1999-2008 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 R. Munden 99 AUG 10 Initial release -- V1.1 R. Munden 03 FEB 22 Changed type of some _nwv signals to -- satisfy ncvhdl -- V1.2 R. Munden 08 MAY 23 Corrected some timing generic names -- -------------------------------------------------------------------------------- -- PART DESCRIPTION: -- -- Library: RAM -- Technology: LVTTL -- Part: CY7C1334 -- -- Description: Pipelined ZBT SRAM 64K x 32 -------------------------------------------------------------------------------- LIBRARY IEEE; USE IEEE.std_logic_1164.ALL; USE IEEE.VITAL_timing.ALL; USE IEEE.VITAL_primitives.ALL; LIBRARY FMF; USE FMF.gen_utils.ALL; USE FMF.conversions.ALL; -------------------------------------------------------------------------------- -- ENTITY DECLARATION -------------------------------------------------------------------------------- ENTITY cy7c1334 IS GENERIC ( -- tipd delays: interconnect path delays 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_A11 : VitalDelayType01 := VitalZeroDelay01; tipd_A12 : VitalDelayType01 := VitalZeroDelay01; tipd_A13 : VitalDelayType01 := VitalZeroDelay01; tipd_A14 : VitalDelayType01 := VitalZeroDelay01; tipd_A15 : VitalDelayType01 := VitalZeroDelay01; tipd_DQA0 : VitalDelayType01 := VitalZeroDelay01; tipd_DQA1 : VitalDelayType01 := VitalZeroDelay01; tipd_DQA2 : VitalDelayType01 := VitalZeroDelay01; tipd_DQA3 : VitalDelayType01 := VitalZeroDelay01; tipd_DQA4 : VitalDelayType01 := VitalZeroDelay01; tipd_DQA5 : VitalDelayType01 := VitalZeroDelay01; tipd_DQA6 : VitalDelayType01 := VitalZeroDelay01; tipd_DQA7 : VitalDelayType01 := VitalZeroDelay01; tipd_DQB0 : VitalDelayType01 := VitalZeroDelay01; tipd_DQB1 : VitalDelayType01 := VitalZeroDelay01; tipd_DQB2 : VitalDelayType01 := VitalZeroDelay01; tipd_DQB3 : VitalDelayType01 := VitalZeroDelay01; tipd_DQB4 : VitalDelayType01 := VitalZeroDelay01; tipd_DQB5 : VitalDelayType01 := VitalZeroDelay01; tipd_DQB6 : VitalDelayType01 := VitalZeroDelay01; tipd_DQB7 : VitalDelayType01 := VitalZeroDelay01; tipd_DQC0 : VitalDelayType01 := VitalZeroDelay01; tipd_DQC1 : VitalDelayType01 := VitalZeroDelay01; tipd_DQC2 : VitalDelayType01 := VitalZeroDelay01; tipd_DQC3 : VitalDelayType01 := VitalZeroDelay01; tipd_DQC4 : VitalDelayType01 := VitalZeroDelay01; tipd_DQC5 : VitalDelayType01 := VitalZeroDelay01; tipd_DQC6 : VitalDelayType01 := VitalZeroDelay01; tipd_DQC7 : VitalDelayType01 := VitalZeroDelay01; tipd_DQD0 : VitalDelayType01 := VitalZeroDelay01; tipd_DQD1 : VitalDelayType01 := VitalZeroDelay01; tipd_DQD2 : VitalDelayType01 := VitalZeroDelay01; tipd_DQD3 : VitalDelayType01 := VitalZeroDelay01; tipd_DQD4 : VitalDelayType01 := VitalZeroDelay01; tipd_DQD5 : VitalDelayType01 := VitalZeroDelay01; tipd_DQD6 : VitalDelayType01 := VitalZeroDelay01; tipd_DQD7 : VitalDelayType01 := VitalZeroDelay01; tipd_ADV : VitalDelayType01 := VitalZeroDelay01; tipd_R : VitalDelayType01 := VitalZeroDelay01; tipd_CLKENNeg : VitalDelayType01 := VitalZeroDelay01; tipd_BWDNeg : VitalDelayType01 := VitalZeroDelay01; tipd_BWCNeg : VitalDelayType01 := VitalZeroDelay01; tipd_BWBNeg : VitalDelayType01 := VitalZeroDelay01; tipd_BWANeg : VitalDelayType01 := VitalZeroDelay01; tipd_CE1Neg : VitalDelayType01 := VitalZeroDelay01; tipd_CE2Neg : VitalDelayType01 := VitalZeroDelay01; tipd_CE2 : VitalDelayType01 := VitalZeroDelay01; tipd_CLK : VitalDelayType01 := VitalZeroDelay01; tipd_LBONeg : VitalDelayType01 := VitalZeroDelay01; tipd_OENeg : VitalDelayType01 := VitalZeroDelay01; -- tpd delays tpd_CLK_DQA0 : VitalDelayType01Z := UnitDelay01Z; tpd_OENeg_DQA0 : VitalDelayType01Z := UnitDelay01Z; -- tpw values: pulse widths tpw_CLK_posedge : VitalDelayType := UnitDelay; tpw_CLK_negedge : VitalDelayType := UnitDelay; -- tperiod min (calculated as 1/max freq) tperiod_CLK_posedge : VitalDelayType := UnitDelay; -- tsetup values: setup times tsetup_CLKENNeg_CLK : VitalDelayType := UnitDelay; tsetup_A0_CLK : VitalDelayType := UnitDelay; tsetup_DQA0_CLK : VitalDelayType := UnitDelay; tsetup_R_CLK : VitalDelayType := UnitDelay; tsetup_ADV_CLK : VitalDelayType := UnitDelay; tsetup_CE2_CLK : VitalDelayType := UnitDelay; tsetup_BWANeg_CLK : VitalDelayType := UnitDelay; -- thold values: hold times thold_CLKENNeg_CLK : VitalDelayType := UnitDelay; thold_A0_CLK : VitalDelayType := UnitDelay; thold_DQA0_CLK : VitalDelayType := UnitDelay; thold_R_CLK : VitalDelayType := UnitDelay; thold_ADV_CLK : VitalDelayType := UnitDelay; thold_CE2_CLK : VitalDelayType := UnitDelay; thold_BWANeg_CLK : VitalDelayType := UnitDelay; -- generic control parameters InstancePath : STRING := DefaultInstancePath; TimingChecksOn : BOOLEAN := DefaultTimingChecks; MsgOn : BOOLEAN := DefaultMsgOn; XOn : BOOLEAN := DefaultXon; SeverityMode : SEVERITY_LEVEL := WARNING; -- For FMF SDF technology file usage TimingModel : STRING := DefaultTimingModel ); PORT ( A0 : IN std_logic := 'U'; A1 : IN std_logic := 'U'; A2 : IN std_logic := 'U'; A3 : IN std_logic := 'U'; A4 : IN std_logic := 'U'; A5 : IN std_logic := 'U'; A6 : IN std_logic := 'U'; A7 : IN std_logic := 'U'; A8 : IN std_logic := 'U'; A9 : IN std_logic := 'U'; A10 : IN std_logic := 'U'; A11 : IN std_logic := 'U'; A12 : IN std_logic := 'U'; A13 : IN std_logic := 'U'; A14 : IN std_logic := 'U'; A15 : IN std_logic := 'U'; DQA0 : INOUT std_logic := 'U'; DQA1 : INOUT std_logic := 'U'; DQA2 : INOUT std_logic := 'U'; DQA3 : INOUT std_logic := 'U'; DQA4 : INOUT std_logic := 'U'; DQA5 : INOUT std_logic := 'U'; DQA6 : INOUT std_logic := 'U'; DQA7 : INOUT std_logic := 'U'; DQB0 : INOUT std_logic := 'U'; DQB1 : INOUT std_logic := 'U'; DQB2 : INOUT std_logic := 'U'; DQB3 : INOUT std_logic := 'U'; DQB4 : INOUT std_logic := 'U'; DQB5 : INOUT std_logic := 'U'; DQB6 : INOUT std_logic := 'U'; DQB7 : INOUT std_logic := 'U'; DQC0 : INOUT std_logic := 'U'; DQC1 : INOUT std_logic := 'U'; DQC2 : INOUT std_logic := 'U'; DQC3 : INOUT std_logic := 'U'; DQC4 : INOUT std_logic := 'U'; DQC5 : INOUT std_logic := 'U'; DQC6 : INOUT std_logic := 'U'; DQC7 : INOUT std_logic := 'U'; DQD0 : INOUT std_logic := 'U'; DQD1 : INOUT std_logic := 'U'; DQD2 : INOUT std_logic := 'U'; DQD3 : INOUT std_logic := 'U'; DQD4 : INOUT std_logic := 'U'; DQD5 : INOUT std_logic := 'U'; DQD6 : INOUT std_logic := 'U'; DQD7 : INOUT std_logic := 'U'; ADV : IN std_logic := 'U'; R : IN std_logic := 'U'; CLKENNeg : IN std_logic := 'U'; BWDNeg : IN std_logic := 'U'; BWCNeg : IN std_logic := 'U'; BWBNeg : IN std_logic := 'U'; BWANeg : IN std_logic := 'U'; CE1Neg : IN std_logic := 'U'; CE2Neg : IN std_logic := 'U'; CE2 : IN std_logic := 'U'; CLK : IN std_logic := 'U'; LBONeg : IN std_logic := '1'; OENeg : IN std_logic := 'U' ); ATTRIBUTE VITAL_LEVEL0 of cy7c1334 : ENTITY IS TRUE; END cy7c1334; -------------------------------------------------------------------------------- -- ARCHITECTURE DECLARATION -------------------------------------------------------------------------------- ARCHITECTURE vhdl_behavioral of cy7c1334 IS ATTRIBUTE VITAL_LEVEL0 of vhdl_behavioral : ARCHITECTURE IS TRUE; CONSTANT partID : STRING := "cy7c1334"; 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 A11_ipd : std_ulogic := 'U'; SIGNAL A12_ipd : std_ulogic := 'U'; SIGNAL A13_ipd : std_ulogic := 'U'; SIGNAL A14_ipd : std_ulogic := 'U'; SIGNAL A15_ipd : std_ulogic := 'U'; SIGNAL DQA0_ipd : std_ulogic := 'U'; SIGNAL DQA1_ipd : std_ulogic := 'U'; SIGNAL DQA2_ipd : std_ulogic := 'U'; SIGNAL DQA3_ipd : std_ulogic := 'U'; SIGNAL DQA4_ipd : std_ulogic := 'U'; SIGNAL DQA5_ipd : std_ulogic := 'U'; SIGNAL DQA6_ipd : std_ulogic := 'U'; SIGNAL DQA7_ipd : std_ulogic := 'U'; SIGNAL DQB0_ipd : std_ulogic := 'U'; SIGNAL DQB1_ipd : std_ulogic := 'U'; SIGNAL DQB2_ipd : std_ulogic := 'U'; SIGNAL DQB3_ipd : std_ulogic := 'U'; SIGNAL DQB4_ipd : std_ulogic := 'U'; SIGNAL DQB5_ipd : std_ulogic := 'U'; SIGNAL DQB6_ipd : std_ulogic := 'U'; SIGNAL DQB7_ipd : std_ulogic := 'U'; SIGNAL DQC0_ipd : std_ulogic := 'U'; SIGNAL DQC1_ipd : std_ulogic := 'U'; SIGNAL DQC2_ipd : std_ulogic := 'U'; SIGNAL DQC3_ipd : std_ulogic := 'U'; SIGNAL DQC4_ipd : std_ulogic := 'U'; SIGNAL DQC5_ipd : std_ulogic := 'U'; SIGNAL DQC6_ipd : std_ulogic := 'U'; SIGNAL DQC7_ipd : std_ulogic := 'U'; SIGNAL DQD0_ipd : std_ulogic := 'U'; SIGNAL DQD1_ipd : std_ulogic := 'U'; SIGNAL DQD2_ipd : std_ulogic := 'U'; SIGNAL DQD3_ipd : std_ulogic := 'U'; SIGNAL DQD4_ipd : std_ulogic := 'U'; SIGNAL DQD5_ipd : std_ulogic := 'U'; SIGNAL DQD6_ipd : std_ulogic := 'U'; SIGNAL DQD7_ipd : std_ulogic := 'U'; SIGNAL ADV_ipd : std_ulogic := 'U'; SIGNAL R_ipd : std_ulogic := 'U'; SIGNAL CLKENNeg_ipd : std_ulogic := 'U'; SIGNAL BWDNeg_ipd : std_ulogic := 'U'; SIGNAL BWCNeg_ipd : std_ulogic := 'U'; SIGNAL BWBNeg_ipd : std_ulogic := 'U'; SIGNAL BWANeg_ipd : std_ulogic := 'U'; SIGNAL CE1Neg_ipd : std_ulogic := 'U'; SIGNAL CE2Neg_ipd : std_ulogic := 'U'; SIGNAL CE2_ipd : std_ulogic := 'U'; SIGNAL CLK_ipd : std_ulogic := 'U'; SIGNAL LBONeg_ipd : std_ulogic := '1'; SIGNAL OENeg_ipd : std_ulogic := '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 A11_nwv : UX01 := 'U'; SIGNAL A12_nwv : UX01 := 'U'; SIGNAL A13_nwv : UX01 := 'U'; SIGNAL A14_nwv : UX01 := 'U'; SIGNAL A15_nwv : UX01 := 'U'; SIGNAL DQA0_nwv : UX01 := 'U'; SIGNAL DQA1_nwv : UX01 := 'U'; SIGNAL DQA2_nwv : UX01 := 'U'; SIGNAL DQA3_nwv : UX01 := 'U'; SIGNAL DQA4_nwv : UX01 := 'U'; SIGNAL DQA5_nwv : UX01 := 'U'; SIGNAL DQA6_nwv : UX01 := 'U'; SIGNAL DQA7_nwv : UX01 := 'U'; SIGNAL DQB0_nwv : UX01 := 'U'; SIGNAL DQB1_nwv : UX01 := 'U'; SIGNAL DQB2_nwv : UX01 := 'U'; SIGNAL DQB3_nwv : UX01 := 'U'; SIGNAL DQB4_nwv : UX01 := 'U'; SIGNAL DQB5_nwv : UX01 := 'U'; SIGNAL DQB6_nwv : UX01 := 'U'; SIGNAL DQB7_nwv : UX01 := 'U'; SIGNAL DQC0_nwv : UX01 := 'U'; SIGNAL DQC1_nwv : UX01 := 'U'; SIGNAL DQC2_nwv : UX01 := 'U'; SIGNAL DQC3_nwv : UX01 := 'U'; SIGNAL DQC4_nwv : UX01 := 'U'; SIGNAL DQC5_nwv : UX01 := 'U'; SIGNAL DQC6_nwv : UX01 := 'U'; SIGNAL DQC7_nwv : UX01 := 'U'; SIGNAL DQD0_nwv : UX01 := 'U'; SIGNAL DQD1_nwv : UX01 := 'U'; SIGNAL DQD2_nwv : UX01 := 'U'; SIGNAL DQD3_nwv : UX01 := 'U'; SIGNAL DQD4_nwv : UX01 := 'U'; SIGNAL DQD5_nwv : UX01 := 'U'; SIGNAL DQD6_nwv : UX01 := 'U'; SIGNAL DQD7_nwv : UX01 := 'U'; SIGNAL ADV_nwv : std_ulogic := 'U'; SIGNAL R_nwv : std_ulogic := 'U'; SIGNAL CLKENNeg_nwv : std_ulogic := 'U'; SIGNAL BWDNeg_nwv : std_ulogic := 'U'; SIGNAL BWCNeg_nwv : std_ulogic := 'U'; SIGNAL BWBNeg_nwv : std_ulogic := 'U'; SIGNAL BWANeg_nwv : std_ulogic := 'U'; SIGNAL CE1Neg_nwv : std_ulogic := 'U'; SIGNAL CE2Neg_nwv : std_ulogic := 'U'; SIGNAL CE2_nwv : std_ulogic := 'U'; SIGNAL CLK_nwv : std_ulogic := 'U'; SIGNAL LBONeg_nwv : std_ulogic := '1'; SIGNAL OENeg_nwv : std_ulogic := 'U'; BEGIN ---------------------------------------------------------------------------- -- Wire Delays ---------------------------------------------------------------------------- WireDelay : BLOCK BEGIN w_1 : VitalWireDelay (A0_ipd, A0, tipd_A0); w_2 : VitalWireDelay (A1_ipd, A1, tipd_A1); w_3 : VitalWireDelay (A2_ipd, A2, tipd_A2); w_4 : VitalWireDelay (A3_ipd, A3, tipd_A3); w_5 : VitalWireDelay (A4_ipd, A4, tipd_A4); w_6 : VitalWireDelay (A5_ipd, A5, tipd_A5); w_7 : VitalWireDelay (A6_ipd, A6, tipd_A6); w_8 : VitalWireDelay (A7_ipd, A7, tipd_A7); w_9 : VitalWireDelay (A8_ipd, A8, tipd_A8); w_10 : VitalWireDelay (A9_ipd, A9, tipd_A9); w_11 : VitalWireDelay (A10_ipd, A10, tipd_A10); w_12 : VitalWireDelay (A11_ipd, A11, tipd_A11); w_13 : VitalWireDelay (A12_ipd, A12, tipd_A12); w_14 : VitalWireDelay (A13_ipd, A13, tipd_A13); w_15 : VitalWireDelay (A14_ipd, A14, tipd_A14); w_16 : VitalWireDelay (A15_ipd, A15, tipd_A15); w_21 : VitalWireDelay (DQA0_ipd, DQA0, tipd_DQA0); w_22 : VitalWireDelay (DQA1_ipd, DQA1, tipd_DQA1); w_23 : VitalWireDelay (DQA2_ipd, DQA2, tipd_DQA2); w_24 : VitalWireDelay (DQA3_ipd, DQA3, tipd_DQA3); w_25 : VitalWireDelay (DQA4_ipd, DQA4, tipd_DQA4); w_26 : VitalWireDelay (DQA5_ipd, DQA5, tipd_DQA5); w_27 : VitalWireDelay (DQA6_ipd, DQA6, tipd_DQA6); w_28 : VitalWireDelay (DQA7_ipd, DQA7, tipd_DQA7); w_31 : VitalWireDelay (DQB0_ipd, DQB0, tipd_DQB0); w_32 : VitalWireDelay (DQB1_ipd, DQB1, tipd_DQB1); w_33 : VitalWireDelay (DQB2_ipd, DQB2, tipd_DQB2); w_34 : VitalWireDelay (DQB3_ipd, DQB3, tipd_DQB3); w_35 : VitalWireDelay (DQB4_ipd, DQB4, tipd_DQB4); w_36 : VitalWireDelay (DQB5_ipd, DQB5, tipd_DQB5); w_37 : VitalWireDelay (DQB6_ipd, DQB6, tipd_DQB6); w_38 : VitalWireDelay (DQB7_ipd, DQB7, tipd_DQB7); w_41 : VitalWireDelay (DQC0_ipd, DQC0, tipd_DQC0); w_42 : VitalWireDelay (DQC1_ipd, DQC1, tipd_DQC1); w_43 : VitalWireDelay (DQC2_ipd, DQC2, tipd_DQC2); w_44 : VitalWireDelay (DQC3_ipd, DQC3, tipd_DQC3); w_45 : VitalWireDelay (DQC4_ipd, DQC4, tipd_DQC4); w_46 : VitalWireDelay (DQC5_ipd, DQC5, tipd_DQC5); w_47 : VitalWireDelay (DQC6_ipd, DQC6, tipd_DQC6); w_48 : VitalWireDelay (DQC7_ipd, DQC7, tipd_DQC7); w_51 : VitalWireDelay (DQD0_ipd, DQD0, tipd_DQD0); w_52 : VitalWireDelay (DQD1_ipd, DQD1, tipd_DQD1); w_53 : VitalWireDelay (DQD2_ipd, DQD2, tipd_DQD2); w_54 : VitalWireDelay (DQD3_ipd, DQD3, tipd_DQD3); w_55 : VitalWireDelay (DQD4_ipd, DQD4, tipd_DQD4); w_56 : VitalWireDelay (DQD5_ipd, DQD5, tipd_DQD5); w_57 : VitalWireDelay (DQD6_ipd, DQD6, tipd_DQD6); w_58 : VitalWireDelay (DQD7_ipd, DQD7, tipd_DQD7); w_61 : VitalWireDelay (ADV_ipd, ADV, tipd_ADV); w_62 : VitalWireDelay (R_ipd, R, tipd_R); w_63 : VitalWireDelay (CLKENNeg_ipd, CLKENNeg, tipd_CLKENNeg); w_64 : VitalWireDelay (BWDNeg_ipd, BWDNeg, tipd_BWDNeg); w_65 : VitalWireDelay (BWCNeg_ipd, BWCNeg, tipd_BWCNeg); w_66 : VitalWireDelay (BWBNeg_ipd, BWBNeg, tipd_BWBNeg); w_67 : VitalWireDelay (BWANeg_ipd, BWANeg, tipd_BWANeg); w_68 : VitalWireDelay (CE1Neg_ipd, CE1Neg, tipd_CE1Neg); w_69 : VitalWireDelay (CE2Neg_ipd, CE2Neg, tipd_CE2Neg); w_70 : VitalWireDelay (CE2_ipd, CE2, tipd_CE2); w_71 : VitalWireDelay (CLK_ipd, CLK, tipd_CLK); w_72 : VitalWireDelay (LBONeg_ipd, LBONeg, tipd_LBONeg); w_73 : VitalWireDelay (OENeg_ipd, OENeg, tipd_OENeg); END BLOCK; A0_nwv <= To_UX01(A0_ipd); A1_nwv <= To_UX01(A1_ipd); A2_nwv <= To_UX01(A2_ipd); A3_nwv <= To_UX01(A3_ipd); A4_nwv <= To_UX01(A4_ipd); A5_nwv <= To_UX01(A5_ipd); A6_nwv <= To_UX01(A6_ipd); A7_nwv <= To_UX01(A7_ipd); A8_nwv <= To_UX01(A8_ipd); A9_nwv <= To_UX01(A9_ipd); A10_nwv <= To_UX01(A10_ipd); A11_nwv <= To_UX01(A11_ipd); A12_nwv <= To_UX01(A12_ipd); A13_nwv <= To_UX01(A13_ipd); A14_nwv <= To_UX01(A14_ipd); A15_nwv <= To_UX01(A15_ipd); DQA0_nwv <= To_UX01(DQA0_ipd); DQA1_nwv <= To_UX01(DQA1_ipd); DQA2_nwv <= To_UX01(DQA2_ipd); DQA3_nwv <= To_UX01(DQA3_ipd); DQA4_nwv <= To_UX01(DQA4_ipd); DQA5_nwv <= To_UX01(DQA5_ipd); DQA6_nwv <= To_UX01(DQA6_ipd); DQA7_nwv <= To_UX01(DQA7_ipd); DQB0_nwv <= To_UX01(DQB0_ipd); DQB1_nwv <= To_UX01(DQB1_ipd); DQB2_nwv <= To_UX01(DQB2_ipd); DQB3_nwv <= To_UX01(DQB3_ipd); DQB4_nwv <= To_UX01(DQB4_ipd); DQB5_nwv <= To_UX01(DQB5_ipd); DQB6_nwv <= To_UX01(DQB6_ipd); DQB7_nwv <= To_UX01(DQB7_ipd); DQC0_nwv <= To_UX01(DQC0_ipd); DQC1_nwv <= To_UX01(DQC1_ipd); DQC2_nwv <= To_UX01(DQC2_ipd); DQC3_nwv <= To_UX01(DQC3_ipd); DQC4_nwv <= To_UX01(DQC4_ipd); DQC5_nwv <= To_UX01(DQC5_ipd); DQC6_nwv <= To_UX01(DQC6_ipd); DQC7_nwv <= To_UX01(DQC7_ipd); DQD0_nwv <= To_UX01(DQD0_ipd); DQD1_nwv <= To_UX01(DQD1_ipd); DQD2_nwv <= To_UX01(DQD2_ipd); DQD3_nwv <= To_UX01(DQD3_ipd); DQD4_nwv <= To_UX01(DQD4_ipd); DQD5_nwv <= To_UX01(DQD5_ipd); DQD6_nwv <= To_UX01(DQD6_ipd); DQD7_nwv <= To_UX01(DQD7_ipd); ADV_nwv <= To_UX01(ADV_ipd); R_nwv <= To_UX01(R_ipd); CLKENNeg_nwv <= To_UX01(CLKENNeg_ipd); BWDNeg_nwv <= To_UX01(BWDNeg_ipd); BWCNeg_nwv <= To_UX01(BWCNeg_ipd); BWBNeg_nwv <= To_UX01(BWBNeg_ipd); BWANeg_nwv <= To_UX01(BWANeg_ipd); CE1Neg_nwv <= To_UX01(CE1Neg_ipd); CE2Neg_nwv <= To_UX01(CE2Neg_ipd); CE2_nwv <= To_UX01(CE2_ipd); CLK_nwv <= To_UX01(CLK_ipd); LBONeg_nwv <= To_UX01(LBONeg_ipd); OENeg_nwv <= To_UX01(OENeg_ipd); ---------------------------------------------------------------------------- -- Main Behavior Block ---------------------------------------------------------------------------- Behavior: BLOCK PORT ( BWDNIn : IN std_ulogic := 'U'; BWCNIn : IN std_ulogic := 'U'; BWBNIn : IN std_ulogic := 'U'; BWANIn : IN std_ulogic := 'U'; DatDIn : IN std_logic_vector(7 downto 0); DatCIn : IN std_logic_vector(7 downto 0); DatBIn : IN std_logic_vector(7 downto 0); DatAIn : IN std_logic_vector(7 downto 0); DataOut : OUT std_logic_vector(31 downto 0) := (others => 'Z'); CLKIn : IN std_ulogic := 'U'; CKENIn : IN std_ulogic := 'U'; AddressIn : IN std_logic_vector(15 downto 0); OENegIn : IN std_ulogic := 'U'; RIn : IN std_ulogic := 'U'; ADVIn : IN std_ulogic := 'U'; CE2In : IN std_ulogic := 'U'; LBONegIn : IN std_ulogic := '1'; CE1NegIn : IN std_ulogic := 'U'; CE2NegIn : IN std_ulogic := 'U' ); PORT MAP ( BWDNIn => BWDNeg_nwv, BWCNIn => BWCNeg_nwv, BWBNIn => BWBNeg_nwv, BWANIn => BWANeg_nwv, CLKIn => CLK_nwv, CKENIn => CLKENNeg_nwv, OENegIn => OENeg_nwv, RIn => R_nwv, ADVIn => ADV_nwv, CE2In => CE2_nwv, LBONegIn => LBONeg_nwv, CE1NegIn => CE1Neg_nwv, CE2NegIn => CE2Neg_nwv, DataOut(0) => DQA0, DataOut(1) => DQA1, DataOut(2) => DQA2, DataOut(3) => DQA3, DataOut(4) => DQA4, DataOut(5) => DQA5, DataOut(6) => DQA6, DataOut(7) => DQA7, DataOut(8) => DQB0, DataOut(9) => DQB1, DataOut(10) => DQB2, DataOut(11) => DQB3, DataOut(12) => DQB4, DataOut(13) => DQB5, DataOut(14) => DQB6, DataOut(15) => DQB7, DataOut(16) => DQC0, DataOut(17) => DQC1, DataOut(18) => DQC2, DataOut(19) => DQC3, DataOut(20) => DQC4, DataOut(21) => DQC5, DataOut(22) => DQC6, DataOut(23) => DQC7, DataOut(24) => DQD0, DataOut(25) => DQD1, DataOut(26) => DQD2, DataOut(27) => DQD3, DataOut(28) => DQD4, DataOut(29) => DQD5, DataOut(30) => DQD6, DataOut(31) => DQD7, DatAIn(0) => DQA0_nwv, DatAIn(1) => DQA1_nwv, DatAIn(2) => DQA2_nwv, DatAIn(3) => DQA3_nwv, DatAIn(4) => DQA4_nwv, DatAIn(5) => DQA5_nwv, DatAIn(6) => DQA6_nwv, DatAIn(7) => DQA7_nwv, DatBIn(0) => DQB0_nwv, DatBIn(1) => DQB1_nwv, DatBIn(2) => DQB2_nwv, DatBIn(3) => DQB3_nwv, DatBIn(4) => DQB4_nwv, DatBIn(5) => DQB5_nwv, DatBIn(6) => DQB6_nwv, DatBIn(7) => DQB7_nwv, DatCIn(0) => DQC0_nwv, DatCIn(1) => DQC1_nwv, DatCIn(2) => DQC2_nwv, DatCIn(3) => DQC3_nwv, DatCIn(4) => DQC4_nwv, DatCIn(5) => DQC5_nwv, DatCIn(6) => DQC6_nwv, DatCIn(7) => DQC7_nwv, DatDIn(0) => DQD0_nwv, DatDIn(1) => DQD1_nwv, DatDIn(2) => DQD2_nwv, DatDIn(3) => DQD3_nwv, DatDIn(4) => DQD4_nwv, DatDIn(5) => DQD5_nwv, DatDIn(6) => DQD6_nwv, DatDIn(7) => DQD7_nwv, AddressIn(0) => A0_nwv, AddressIn(1) => A1_nwv, AddressIn(2) => A2_nwv, AddressIn(3) => A3_nwv, AddressIn(4) => A4_nwv, AddressIn(5) => A5_nwv, AddressIn(6) => A6_nwv, AddressIn(7) => A7_nwv, AddressIn(8) => A8_nwv, AddressIn(9) => A9_nwv, AddressIn(10) => A10_nwv, AddressIn(11) => A11_nwv, AddressIn(12) => A12_nwv, AddressIn(13) => A13_nwv, AddressIn(14) => A14_nwv, AddressIn(15) => A15_nwv ); -- Type definition for state machine TYPE mem_state IS (desel, begin_rd, begin_wr, burst_rd, burst_wr ); SIGNAL state : mem_state; TYPE sequence IS ARRAY (0 to 3) OF INTEGER RANGE -3 to 3; TYPE seqtab IS ARRAY (0 to 3) OF sequence; CONSTANT il0 : sequence := (0, 1, 2, 3); CONSTANT il1 : sequence := (0, -1, 2, -1); CONSTANT il2 : sequence := (0, 1, -2, -1); CONSTANT il3 : sequence := (0, -1, -2, -3); CONSTANT il : seqtab := (il0, il1, il2, il3); CONSTANT ln0 : sequence := (0, 1, 2, 3); CONSTANT ln1 : sequence := (0, 1, 2, -1); CONSTANT ln2 : sequence := (0, 1, -2, -1); CONSTANT ln3 : sequence := (0, -3, -2, -1); CONSTANT ln : seqtab := (ln0, ln1, ln2, ln3); SIGNAL Burst_Seq : seqtab; SIGNAL D_zd : std_logic_vector(31 DOWNTO 0); BEGIN Burst_Setup : PROCESS BEGIN IF (LBONegIn = '1') THEN Burst_Seq <= il; ELSE Burst_Seq <= ln; END IF; WAIT; -- Mode can be set only during power up END PROCESS Burst_Setup; ---------------------------------------------------------------------------- -- Main Behavior Process ---------------------------------------------------------------------------- Behavior : PROCESS (BWDNIn, BWCNIn, BWBNIn, BWANIn, DatDIn, DatCIn, DatBIn, DatAIn, CLKIn, CKENIn, AddressIn, RIn, OENegIn, ADVIn, CE2In, CE1NegIn, CE2NegIn) -- Type definition for commands TYPE command_type is (ds, burst, read, write ); -- Timing Check Variables VARIABLE Tviol_BWDN_CLK : X01 := '0'; VARIABLE TD_BWDN_CLK : VitalTimingDataType; VARIABLE Tviol_BWCN_CLK : X01 := '0'; VARIABLE TD_BWCN_CLK : VitalTimingDataType; VARIABLE Tviol_BWBN_CLK : X01 := '0'; VARIABLE TD_BWBN_CLK : VitalTimingDataType; VARIABLE Tviol_BWAN_CLK : X01 := '0'; VARIABLE TD_BWAN_CLK : VitalTimingDataType; VARIABLE Tviol_CKENIn_CLK : X01 := '0'; VARIABLE TD_CKENIn_CLK : VitalTimingDataType; VARIABLE Tviol_ADVIn_CLK : X01 := '0'; VARIABLE TD_ADVIn_CLK : VitalTimingDataType; VARIABLE Tviol_CE1NegIn_CLK : X01 := '0'; VARIABLE TD_CE1NegIn_CLK : VitalTimingDataType; VARIABLE Tviol_CE2NegIn_CLK : X01 := '0'; VARIABLE TD_CE2NegIn_CLK : VitalTimingDataType; VARIABLE Tviol_CE2In_CLK : X01 := '0'; VARIABLE TD_CE2In_CLK : VitalTimingDataType; VARIABLE Tviol_RIn_CLK : X01 := '0'; VARIABLE TD_RIn_CLK : VitalTimingDataType; VARIABLE Tviol_DatDIn_CLK : X01 := '0'; VARIABLE TD_DatDIn_CLK : VitalTimingDataType; VARIABLE Tviol_DatCIn_CLK : X01 := '0'; VARIABLE TD_DatCIn_CLK : VitalTimingDataType; VARIABLE Tviol_DatBIn_CLK : X01 := '0'; VARIABLE TD_DatBIn_CLK : VitalTimingDataType; VARIABLE Tviol_DatAIn_CLK : X01 := '0'; VARIABLE TD_DatAIn_CLK : VitalTimingDataType; VARIABLE Tviol_AddressIn_CLK : X01 := '0'; VARIABLE TD_AddressIn_CLK : VitalTimingDataType; VARIABLE Pviol_CLK : X01 := '0'; VARIABLE PD_CLK : VitalPeriodDataType := VitalPeriodDataInit; -- Memory array declaration TYPE MemStore IS ARRAY (0 to 65535) OF NATURAL RANGE 0 TO 255; VARIABLE MemDataA : MemStore; VARIABLE MemDataB : MemStore; VARIABLE MemDataC : MemStore; VARIABLE MemDataD : MemStore; VARIABLE MemAddr : NATURAL RANGE 0 TO 65535; VARIABLE MemAddr1 : NATURAL RANGE 0 TO 65535; VARIABLE startaddr : NATURAL RANGE 0 TO 65535; VARIABLE Burst_Cnt : NATURAL RANGE 0 TO 4 := 0; VARIABLE memstart : NATURAL RANGE 0 TO 3 := 0; VARIABLE offset : INTEGER RANGE -3 TO 3 := 0; VARIABLE command : command_type; VARIABLE BWD1 : UX01; VARIABLE BWC1 : UX01; VARIABLE BWB1 : UX01; VARIABLE BWA1 : UX01; VARIABLE BWD2 : UX01; VARIABLE BWC2 : UX01; VARIABLE BWB2 : UX01; VARIABLE BWA2 : UX01; VARIABLE wr1 : boolean := false; VARIABLE wr2 : boolean := false; VARIABLE wr3 : boolean := false; -- Functionality Results Variables VARIABLE Violation : X01 := '0'; VARIABLE OBuf1 : std_logic_vector(31 DOWNTO 0) := (OTHERS => 'Z'); BEGIN -------------------------------------------------------------------- -- Timing Check Section -------------------------------------------------------------------- IF (TimingChecksOn) THEN VitalSetupHoldCheck ( TestSignal => BWDNIn, TestSignalName => "BWD", RefSignal => CLKIn, RefSignalName => "CLK", SetupHigh => tsetup_BWANeg_CLK, SetupLow => tsetup_BWANeg_CLK, HoldHigh => thold_BWANeg_CLK, HoldLow => thold_BWANeg_CLK, CheckEnabled => (CKENIn ='0'), RefTransition => '/', HeaderMsg => InstancePath & PartID, TimingData => TD_BWDN_CLK, XOn => XOn, MsgOn => MsgOn, Violation => Tviol_BWDN_CLK ); VitalSetupHoldCheck ( TestSignal => BWCNIn, TestSignalName => "BWC", RefSignal => CLKIn, RefSignalName => "CLK", SetupHigh => tsetup_BWANeg_CLK, SetupLow => tsetup_BWANeg_CLK, HoldHigh => thold_BWANeg_CLK, HoldLow => thold_BWANeg_CLK, CheckEnabled => (CKENIn ='0'), RefTransition => '/', HeaderMsg => InstancePath & PartID, TimingData => TD_BWCN_CLK, XOn => XOn, MsgOn => MsgOn, Violation => Tviol_BWCN_CLK ); VitalSetupHoldCheck ( TestSignal => BWBNIn, TestSignalName => "BWB", RefSignal => CLKIn, RefSignalName => "CLK", SetupHigh => tsetup_BWANeg_CLK, SetupLow => tsetup_BWANeg_CLK, HoldHigh => thold_BWANeg_CLK, HoldLow => thold_BWANeg_CLK, CheckEnabled => (CKENIn ='0'), RefTransition => '/', HeaderMsg => InstancePath & PartID, TimingData => TD_BWBN_CLK, XOn => XOn, MsgOn => MsgOn, Violation => Tviol_BWBN_CLK ); VitalSetupHoldCheck ( TestSignal => BWANIn, TestSignalName => "BWA", RefSignal => CLKIn, RefSignalName => "CLK", SetupHigh => tsetup_BWANeg_CLK, SetupLow => tsetup_BWANeg_CLK, HoldHigh => thold_BWANeg_CLK, HoldLow => thold_BWANeg_CLK, CheckEnabled => (CKENIn ='0'), RefTransition => '/', HeaderMsg => InstancePath & PartID, TimingData => TD_BWAN_CLK, XOn => XOn, MsgOn => MsgOn, Violation => Tviol_BWAN_CLK ); VitalSetupHoldCheck ( TestSignal => CKENIn, TestSignalName => "CLKENNeg", RefSignal => CLKIn, RefSignalName => "CLK", SetupHigh => tsetup_CLKENNeg_CLK, SetupLow => tsetup_CLKENNeg_CLK, HoldHigh => thold_CLKENNeg_CLK, HoldLow => thold_CLKENNeg_CLK, CheckEnabled => TRUE, RefTransition => '/', HeaderMsg => InstancePath & PartID, TimingData => TD_CKENIn_CLK, XOn => XOn, MsgOn => MsgOn, Violation => Tviol_CKENIn_CLK ); VitalSetupHoldCheck ( TestSignal => ADVIn, TestSignalName => "ADV", RefSignal => CLKIn, RefSignalName => "CLK", SetupHigh => tsetup_ADV_CLK, SetupLow => tsetup_ADV_CLK, HoldHigh => thold_ADV_CLK, HoldLow => thold_ADV_CLK, CheckEnabled => (CKENIn ='0'), RefTransition => '/', HeaderMsg => InstancePath & PartID, TimingData => TD_ADVIn_CLK, XOn => XOn, MsgOn => MsgOn, Violation => Tviol_ADVIn_CLK ); VitalSetupHoldCheck ( TestSignal => CE1NegIn, TestSignalName => "CE1Neg", RefSignal => CLKIn, RefSignalName => "CLK", SetupHigh => tsetup_CE2_CLK, SetupLow => tsetup_CE2_CLK, HoldHigh => thold_CE2_CLK, HoldLow => thold_CE2_CLK, CheckEnabled => (CKENIn ='0'), RefTransition => '/', HeaderMsg => InstancePath & PartID, TimingData => TD_CE1NegIn_CLK, XOn => XOn, MsgOn => MsgOn, Violation => Tviol_CE1NegIn_CLK ); VitalSetupHoldCheck ( TestSignal => CE2NegIn, TestSignalName => "CE2Neg", RefSignal => CLKIn, RefSignalName => "CLK", SetupHigh => tsetup_CE2_CLK, SetupLow => tsetup_CE2_CLK, HoldHigh => thold_CE2_CLK, HoldLow => thold_CE2_CLK, CheckEnabled => (CKENIn ='0'), RefTransition => '/', HeaderMsg => InstancePath & PartID, TimingData => TD_CE2NegIn_CLK, XOn => XOn, MsgOn => MsgOn, Violation => Tviol_CE2NegIn_CLK ); VitalSetupHoldCheck ( TestSignal => CE2In, TestSignalName => "CE2", RefSignal => CLKIn, RefSignalName => "CLK", SetupHigh => tsetup_CE2_CLK, SetupLow => tsetup_CE2_CLK, HoldHigh => thold_CE2_CLK, HoldLow => thold_CE2_CLK, CheckEnabled => (CKENIn ='0'), RefTransition => '/', HeaderMsg => InstancePath & PartID, TimingData => TD_CE2In_CLK, XOn => XOn, MsgOn => MsgOn, Violation => Tviol_CE2In_CLK ); VitalSetupHoldCheck ( TestSignal => RIn, TestSignalName => "R", RefSignal => CLKIn, RefSignalName => "CLK", SetupHigh => tsetup_R_CLK, SetupLow => tsetup_R_CLK, HoldHigh => thold_R_CLK, HoldLow => thold_R_CLK, CheckEnabled => (CKENIn ='0'), RefTransition => '/', HeaderMsg => InstancePath & PartID, TimingData => TD_RIn_CLK, XOn => XOn, MsgOn => MsgOn, Violation => Tviol_RIn_CLK ); VitalSetupHoldCheck ( TestSignal => AddressIn, TestSignalName => "Address", RefSignal => CLKIn, RefSignalName => "CLK", SetupHigh => tsetup_A0_CLK, SetupLow => tsetup_A0_CLK, HoldHigh => thold_A0_CLK, HoldLow => thold_A0_CLK, CheckEnabled => (CKENIn ='0'), RefTransition => '/', HeaderMsg => InstancePath & PartID, TimingData => TD_AddressIn_CLK, XOn => XOn, MsgOn => MsgOn, Violation => Tviol_AddressIn_CLK ); VitalSetupHoldCheck ( TestSignal => DatDIn, TestSignalName => "DatD", RefSignal => CLKIn, RefSignalName => "CLK", SetupHigh => tsetup_DQA0_CLK, SetupLow => tsetup_DQA0_CLK, HoldHigh => thold_DQA0_CLK, HoldLow => thold_DQA0_CLK, CheckEnabled => (CKENIn ='0'), RefTransition => '/', HeaderMsg => InstancePath & PartID, TimingData => TD_DatDIn_CLK, XOn => XOn, MsgOn => MsgOn, Violation => Tviol_DatDIn_CLK ); VitalSetupHoldCheck ( TestSignal => DatCIn, TestSignalName => "DatC", RefSignal => CLKIn, RefSignalName => "CLK", SetupHigh => tsetup_DQA0_CLK, SetupLow => tsetup_DQA0_CLK, HoldHigh => thold_DQA0_CLK, HoldLow => thold_DQA0_CLK, CheckEnabled => (CKENIn ='0'), RefTransition => '/', HeaderMsg => InstancePath & PartID, TimingData => TD_DatCIn_CLK, XOn => XOn, MsgOn => MsgOn, Violation => Tviol_DatCIn_CLK ); VitalSetupHoldCheck ( TestSignal => DatBIn, TestSignalName => "DatB", RefSignal => CLKIn, RefSignalName => "CLK", SetupHigh => tsetup_DQA0_CLK, SetupLow => tsetup_DQA0_CLK, HoldHigh => thold_DQA0_CLK, HoldLow => thold_DQA0_CLK, CheckEnabled => (CKENIn ='0'), RefTransition => '/', HeaderMsg => InstancePath & PartID, TimingData => TD_DatBIn_CLK, XOn => XOn, MsgOn => MsgOn, Violation => Tviol_DatBIn_CLK ); VitalSetupHoldCheck ( TestSignal => DatAIn, TestSignalName => "DatA", RefSignal => CLKIn, RefSignalName => "CLK", SetupHigh => tsetup_DQA0_CLK, SetupLow => tsetup_DQA0_CLK, HoldHigh => thold_DQA0_CLK, HoldLow => thold_DQA0_CLK, CheckEnabled => (CKENIn ='0'), RefTransition => '/', HeaderMsg => InstancePath & PartID, TimingData => TD_DatAIn_CLK, XOn => XOn, MsgOn => MsgOn, Violation => Tviol_DatAIn_CLK ); VitalPeriodPulseCheck ( TestSignal => CLKIn, TestSignalName => "CLK", Period => tperiod_CLK_posedge, PulseWidthLow => tpw_CLK_negedge, PulseWidthHigh => tpw_CLK_posedge, PeriodData => PD_CLK, XOn => XOn, MsgOn => MsgOn, Violation => Pviol_CLK, HeaderMsg => InstancePath & PartID, CheckEnabled => (CKENIn ='0') ); Violation := Pviol_CLK OR Tviol_DatAIn_CLK OR Tviol_DatBIn_CLK OR Tviol_DatCIn_CLK OR Tviol_DatDIn_CLK OR Tviol_AddressIn_CLK OR Tviol_RIn_CLK OR Tviol_CE2In_CLK OR Tviol_CE2NegIn_CLK OR Tviol_CE1NegIn_CLK OR Tviol_ADVIn_CLK OR Tviol_CKENIn_CLK OR Tviol_BWAN_CLK OR Tviol_BWBN_CLK OR Tviol_BWCN_CLK OR Tviol_BWDN_CLK; ASSERT Violation = '0' REPORT InstancePath & partID & ": simulation may be" & " inaccurate due to timing violations" SEVERITY SeverityMode; END IF; -- Timing Check Section -------------------------------------------------------------------- -- Functional Section -------------------------------------------------------------------- IF (rising_edge(CLKIn) AND CKENIn = '0') THEN ASSERT (not(Is_X(BWDNIn))) REPORT InstancePath & partID & ": Unusable value for BWDN" SEVERITY SeverityMode; ASSERT (not(Is_X(BWCNIn))) REPORT InstancePath & partID & ": Unusable value for BWCN" SEVERITY SeverityMode; ASSERT (not(Is_X(BWBNIn))) REPORT InstancePath & partID & ": Unusable value for BWBN" SEVERITY SeverityMode; ASSERT (not(Is_X(BWANIn))) REPORT InstancePath & partID & ": Unusable value for BWAN" SEVERITY SeverityMode; ASSERT (not(Is_X(RIn))) REPORT InstancePath & partID & ": Unusable value for R" SEVERITY SeverityMode; ASSERT (not(Is_X(ADVIn))) REPORT InstancePath & partID & ": Unusable value for ADV" SEVERITY SeverityMode; ASSERT (not(Is_X(CE2In))) REPORT InstancePath & partID & ": Unusable value for CE2" SEVERITY SeverityMode; ASSERT (not(Is_X(CE1NegIn))) REPORT InstancePath & partID & ": Unusable value for CE1Neg" SEVERITY SeverityMode; ASSERT (not(Is_X(CE2NegIn))) REPORT InstancePath & partID & ": Unusable value for CE2Neg" SEVERITY SeverityMode; -- Command Decode IF ((ADVIn = '0') AND (CE1NegIn = '1' OR CE2NegIn = '1' OR CE2In = '0')) THEN command := ds; ELSIF (CE1NegIn = '0' AND CE2NegIn = '0' AND CE2In = '1' AND ADVIn = '0') THEN IF (RIn = '1') THEN command := read; ELSE command := write; END IF; ELSIF (ADVIn = '1') AND (CE1NegIn = '0' AND CE2NegIn = '0' AND CE2In = '1') THEN command := burst; ELSE ASSERT false REPORT InstancePath & partID & ": Could not decode " & "command." SEVERITY SeverityMode; END IF; IF (OENegIn = '0') THEN D_zd <= (others => 'Z'), OBuf1 AFTER 1 ns; ELSE D_zd <= (others => 'Z'); END IF; wr3 := wr2; wr2 := wr1; wr1 := false; IF (wr3) THEN IF (BWA2 = '0') THEN MemDataA(MemAddr1) := to_nat(DatAIn); END IF; IF (BWB2 = '0') THEN MemDataB(MemAddr1) := to_nat(DatBIn); END IF; IF (BWC2 = '0') THEN MemDataC(MemAddr1) := to_nat(DatCIn); END IF; IF (BWD2 = '0') THEN MemDataD(MemAddr1) := to_nat(DatDIn); END IF; END IF; MemAddr1 := MemAddr; -- The State Machine CASE state IS WHEN desel => CASE command IS WHEN ds => OBuf1 := (others => 'Z'); WHEN read => state <= begin_rd; MemAddr := to_nat(AddressIn); startaddr := MemAddr; memstart := to_nat(AddressIn(1 downto 0)); OBuf1(7 downto 0) := to_slv(MemDataA(MemAddr),8); OBuf1(15 downto 8) := to_slv(MemDataB(MemAddr),8); OBuf1(23 downto 16) := to_slv(MemDataC(MemAddr),8); OBuf1(31 downto 24) := to_slv(MemDataD(MemAddr),8); WHEN write => state <= begin_wr; MemAddr := to_nat(AddressIn); startaddr := MemAddr; memstart := to_nat(AddressIn(1 downto 0)); OBuf1 := (others => 'Z'); BWA1 := BWANIn; BWB1 := BWBNIn; BWC1 := BWCNIn; BWD1 := BWDNIn; wr1 := true; WHEN burst => OBuf1 := (others => 'Z'); END CASE; WHEN begin_rd => Burst_Cnt := 0; CASE command IS WHEN ds => state <= desel; OBuf1 := (others => 'Z'); WHEN read => state <= begin_rd; MemAddr := to_nat(AddressIn); startaddr := MemAddr; memstart := to_nat(AddressIn(1 downto 0)); OBuf1(7 downto 0) := to_slv(MemDataA(MemAddr),8); OBuf1(15 downto 8) := to_slv(MemDataB(MemAddr),8); OBuf1(23 downto 16) := to_slv(MemDataC(MemAddr),8); OBuf1(31 downto 24) := to_slv(MemDataD(MemAddr),8); WHEN write => state <= begin_wr; MemAddr := to_nat(AddressIn); startaddr := MemAddr; memstart := to_nat(AddressIn(1 downto 0)); OBuf1 := (others => 'Z'); BWA1 := BWANIn; BWB1 := BWBNIn; BWC1 := BWCNIn; BWD1 := BWDNIn; wr1 := true; WHEN burst => state <= burst_rd; Burst_Cnt := Burst_Cnt + 1; IF (Burst_Cnt = 4) THEN Burst_Cnt := 0; END IF; offset := Burst_Seq(memstart)(Burst_Cnt); MemAddr := startaddr + offset; OBuf1(7 downto 0) := to_slv(MemDataA(MemAddr),8); OBuf1(15 downto 8) := to_slv(MemDataB(MemAddr),8); OBuf1(23 downto 16) := to_slv(MemDataC(MemAddr),8); OBuf1(31 downto 24) := to_slv(MemDataD(MemAddr),8); END CASE; WHEN begin_wr => BWA2 := BWA1; BWB2 := BWB1; BWC2 := BWC1; BWD2 := BWD1; Burst_Cnt := 0; CASE command IS WHEN ds => state <= desel; OBuf1 := (others => 'Z'); WHEN read => state <= begin_rd; MemAddr := to_nat(AddressIn); startaddr := MemAddr; memstart := to_nat(AddressIn(1 downto 0)); OBuf1(7 downto 0) := to_slv(MemDataA(MemAddr),8); OBuf1(15 downto 8) := to_slv(MemDataB(MemAddr),8); OBuf1(23 downto 16) := to_slv(MemDataC(MemAddr),8); OBuf1(31 downto 24) := to_slv(MemDataD(MemAddr),8); WHEN write => state <= begin_wr; MemAddr := to_nat(AddressIn); startaddr := MemAddr; OBuf1 := (others => 'Z'); BWA1 := BWANIn; BWB1 := BWBNIn; BWC1 := BWCNIn; BWD1 := BWDNIn; wr1 := true; WHEN burst => state <= burst_wr; Burst_Cnt := Burst_Cnt + 1; IF (Burst_Cnt = 4) THEN Burst_Cnt := 0; END IF; offset := Burst_Seq(memstart)(Burst_Cnt); MemAddr := startaddr + offset; BWA1 := BWANIn; BWB1 := BWBNIn; BWC1 := BWCNIn; BWD1 := BWDNIn; wr1 := true; END CASE; WHEN burst_rd => CASE command IS WHEN ds => state <= desel; OBuf1 := (others => 'Z'); WHEN read => state <= begin_rd; MemAddr := to_nat(AddressIn); startaddr := MemAddr; memstart := to_nat(AddressIn(1 downto 0)); OBuf1(7 downto 0) := to_slv(MemDataA(MemAddr),8); OBuf1(15 downto 8) := to_slv(MemDataB(MemAddr),8); OBuf1(23 downto 16) := to_slv(MemDataC(MemAddr),8); OBuf1(31 downto 24) := to_slv(MemDataD(MemAddr),8); WHEN write => state <= begin_wr; MemAddr := to_nat(AddressIn); startaddr := MemAddr; memstart := to_nat(AddressIn(1 downto 0)); OBuf1 := (others => 'Z'); BWA1 := BWANIn; BWB1 := BWBNIn; BWC1 := BWCNIn; BWD1 := BWDNIn; wr1 := true; WHEN burst => Burst_Cnt := Burst_Cnt + 1; IF (Burst_Cnt = 4) THEN Burst_Cnt := 0; END IF; offset := Burst_Seq(memstart)(Burst_Cnt); MemAddr := startaddr + offset; OBuf1(7 downto 0) := to_slv(MemDataA(MemAddr),8); OBuf1(15 downto 8) := to_slv(MemDataB(MemAddr),8); OBuf1(23 downto 16) := to_slv(MemDataC(MemAddr),8); OBuf1(31 downto 24) := to_slv(MemDataD(MemAddr),8); END CASE; WHEN burst_wr => CASE command IS WHEN ds => state <= desel; OBuf1 := (others => 'Z'); WHEN read => state <= begin_rd; MemAddr := to_nat(AddressIn); startaddr := MemAddr; memstart := to_nat(AddressIn(1 downto 0)); OBuf1(7 downto 0) := to_slv(MemDataA(MemAddr),8); OBuf1(15 downto 8) := to_slv(MemDataB(MemAddr),8); OBuf1(23 downto 16) := to_slv(MemDataC(MemAddr),8); OBuf1(31 downto 24) := to_slv(MemDataD(MemAddr),8); WHEN write => state <= begin_wr; MemAddr := to_nat(AddressIn); startaddr := MemAddr; memstart := to_nat(AddressIn(1 downto 0)); OBuf1 := (others => 'Z'); BWA1 := BWANIn; BWB1 := BWBNIn; BWC1 := BWCNIn; BWD1 := BWDNIn; wr1 := true; WHEN burst => Burst_Cnt := Burst_Cnt + 1; IF (Burst_Cnt = 4) THEN Burst_Cnt := 0; END IF; offset := Burst_Seq(memstart)(Burst_Cnt); MemAddr := startaddr + offset; BWA1 := BWANIn; BWB1 := BWBNIn; BWC1 := BWCNIn; BWD1 := BWDNIn; wr1 := true; END CASE; END CASE; END IF; IF (OENegIn = '1') THEN D_zd <= (others => 'Z'); END IF; END PROCESS; ------------------------------------------------------------------------ -- Path Delay Process ------------------------------------------------------------------------ DataOutBlk : FOR i IN 31 DOWNTO 0 GENERATE DataOut_Delay : PROCESS (D_zd(i)) VARIABLE D_GlitchData:VitalGlitchDataArrayType(31 Downto 0); BEGIN VitalPathDelay01Z ( OutSignal => DataOut(i), OutSignalName => "Data", OutTemp => D_zd(i), Mode => VitalTransport, GlitchData => D_GlitchData(i), Paths => ( 1 => (InputChangeTime => CLKIn'LAST_EVENT, PathDelay => tpd_CLK_DQA0, PathCondition => OENegIn = '0'), 2 => (InputChangeTime => OENegIn'LAST_EVENT, PathDelay => tpd_OENeg_DQA0, PathCondition => true) ) ); END PROCESS; END GENERATE; END BLOCK; END vhdl_behavioral;