----------------------------------------------------------------------------------  File Name: cdc536.vhd----------------------------------------------------------------------------------  Copyright (C) 2000 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    00 Jul 01   Initial release-- ----------------------------------------------------------------------------------  PART DESCRIPTION:-- --  Library:    CLOCK--  Technology: CMOS--  Part:       CDC536-- --  Description: PLL Clock Driver with 3-State Outputs--------------------------------------------------------------------------------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.ff_package.ALL;---------------------------------------------------------------------------------- ENTITY DECLARATION--------------------------------------------------------------------------------ENTITY cdc536 IS    GENERIC (        -- tipd delays: interconnect path delays        tipd_FBIN                : VitalDelayType01 := VitalZeroDelay01;        tipd_CLKIN               : VitalDelayType01 := VitalZeroDelay01;        tipd_SEL                 : VitalDelayType01 := VitalZeroDelay01;        tipd_TEST                : VitalDelayType01 := VitalZeroDelay01;        tipd_OENeg               : VitalDelayType01 := VitalZeroDelay01;        tipd_CLRNeg              : VitalDelayType01 := VitalZeroDelay01;        -- tpd delays        tpd_CLKIN_Y1A            : VitalDelayType01 := UnitDelay01;        tpd_OENeg_Y1A            : VitalDelayType01Z := UnitDelay01Z;        -- tperiod_min: minimum clock period = 1/max freq        tperiod_FBIN_posedge     : VitalDelayType := UnitDelay;        -- generic control parameters        InstancePath        : STRING    := DefaultInstancePath;        TimingChecksOn      : BOOLEAN   := DefaultTimingChecks;        MsgOn               : BOOLEAN   := DefaultMsgOn;        XOn                 : BOOLEAN   := DefaultXon;        -- For FMF SDF technology file usage        TimingModel         : STRING    := DefaultTimingModel    );    PORT (        FBIN            : IN    std_logic := 'U';        CLKIN           : IN    std_logic := 'U';        SEL             : IN    std_logic := 'U';        TEST            : IN    std_logic := 'U';        Y1A             : OUT   std_logic := 'U';        Y1B             : OUT   std_logic := 'U';        Y1C             : OUT   std_logic := 'U';        Y2A             : OUT   std_logic := 'U';        Y2B             : OUT   std_logic := 'U';        Y2C             : OUT   std_logic := 'U';        OENeg           : IN    std_logic := 'U';        CLRNeg          : IN    std_logic := 'U'    );    ATTRIBUTE VITAL_LEVEL0 of cdc536 : ENTITY IS TRUE;END cdc536;---------------------------------------------------------------------------------- ARCHITECTURE DECLARATION--------------------------------------------------------------------------------ARCHITECTURE vhdl_behavioral of cdc536 IS    ATTRIBUTE VITAL_LEVEL0 of vhdl_behavioral : ARCHITECTURE IS TRUE;    SIGNAL FBIN_ipd            : std_ulogic := 'U';    SIGNAL CLKIN_ipd           : std_ulogic := 'U';    SIGNAL SEL_ipd             : std_ulogic := 'U';    SIGNAL TEST_ipd            : std_ulogic := 'U';    SIGNAL OENeg_ipd           : std_ulogic := 'U';    SIGNAL CLRNeg_ipd          : std_ulogic := 'U';    SIGNAL pll_out             : std_ulogic := '1';    SIGNAL tmux_out            : std_ulogic := 'U';    SIGNAL omux                : std_ulogic := '0';      SIGNAL nomux               : std_ulogic := '0';      SIGNAL rst_int             : std_ulogic := '0';      SIGNAL Y1                  : std_ulogic := 'U';    SIGNAL Y2                  : std_ulogic := 'U';    SIGNAL vco_lock            : boolean;    SIGNAL pll_delay           : time := 0 ns;    SIGNAL half_per            : time := 6 ns;    SIGNAL Violation           : X01 := '0';BEGIN    ----------------------------------------------------------------------------    -- Wire Delays    ----------------------------------------------------------------------------    WireDelay : BLOCK    BEGIN        w_1 : VitalWireDelay (FBIN_ipd, FBIN, tipd_FBIN);        w_2 : VitalWireDelay (CLKIN_ipd, CLKIN, tipd_CLKIN);        w_3 : VitalWireDelay (SEL_ipd, SEL, tipd_SEL);        w_4 : VitalWireDelay (TEST_ipd, TEST, tipd_TEST);        w_11 : VitalWireDelay (OENeg_ipd, OENeg, tipd_OENeg);        w_12 : VitalWireDelay (CLRNeg_ipd, CLRNeg, tipd_CLRNeg);    END BLOCK;    Y1A <= Y1;    Y1B <= Y1;    Y1C <= Y1;    Y2A <= Y2;    Y2B <= Y2;    Y2C <= Y2;    ----------------------------------------------------------------------------    -- ADJ Process    ----------------------------------------------------------------------------    ADJ : PROCESS (FBIN_ipd, CLKIN_ipd)        VARIABLE fbi_period   : time := 0 ns;        VARIABLE clk_period   : time := 0 ns;        VARIABLE prev_clk     : time := 0 ns;        VARIABLE prev_fbi     : time := 0 ns;        VARIABLE toggle1      : boolean;        VARIABLE toggle2      : boolean;        -- Timing Check Variables        VARIABLE Pviol_FBIN     : X01 := '0';        VARIABLE PD_FBIN        : VitalPeriodDataType := VitalPeriodDataInit;    BEGIN        ------------------------------------------------------------------------        -- Timing Check Section        ------------------------------------------------------------------------        IF (TimingChecksOn) THEN             VitalPeriodPulseCheck (                TestSignal      => FBIN_ipd,                TestSignalName  => "FBIN_ipd",                Period          => tperiod_FBIN_posedge,                CheckEnabled    => TRUE,                HeaderMsg       => InstancePath & "/cdc536",                PeriodData      => PD_FBIN,                XOn             => XOn,                MsgOn           => MsgOn,                Violation       => Pviol_FBIN            );        END IF;        ------------------------------------------------------------------------        -- Functionality Section        ------------------------------------------------------------------------        Violation <= Pviol_FBIN;        IF rising_edge(CLKIN_ipd) THEN            clk_period := NOW - prev_clk;            prev_clk := NOW;            IF FBIN_ipd = 'X' THEN               rst_int <= '1', '0' AFTER 5 ns;            END IF;        END IF;        IF (FBIN_ipd'event AND FBIN_ipd = '0') THEN            rst_int <= '0';            fbi_period := NOW - prev_fbi;            prev_fbi := NOW;            IF toggle1 AND toggle2 THEN                IF fbi_period > clk_period THEN                    half_per <= half_per - 50 ps;                    vco_lock <= false;                ELSIF fbi_period < clk_period THEN                    half_per <= half_per + 60 ps;                    vco_lock <= false;                ELSE                    vco_lock <= true;                END IF;            END IF;            toggle1 := not toggle1;            IF toggle1 THEN                toggle2 := not toggle2;            ELSE                pll_delay <= 0 ps;            END IF;        END IF;        IF rising_edge(FBIN_ipd) AND vco_lock AND toggle1 AND toggle2 THEN            IF (prev_clk + 250 ps) < NOW THEN                IF pll_delay < clk_period THEN                    pll_delay <= pll_delay - 60 ps;                END IF;            END IF;        END IF;    END PROCESS ADJ;    ----------------------------------------------------------------------------    -- PLL Process    ----------------------------------------------------------------------------    PLL : PROCESS (pll_out)    BEGIN        pll_out <= TRANSPORT not pll_out AFTER pll_delay + half_per;    END PROCESS PLL;    ----------------------------------------------------------------------------    -- DIV2 Process    ----------------------------------------------------------------------------    DIV2 : PROCESS (tmux_out, pll_out, CLKIN_ipd, TEST_ipd, SEL_ipd, CLRNeg_ipd,                    rst_int)        -- Functionality Results Variables        VARIABLE PrevData1      : std_logic_vector(0 to 2);        VARIABLE CLK_div_2      : std_ulogic := '0';    BEGIN            VitalStateTable (                StateTable      => TFFR_tab,                DataIn          => (Violation, tmux_out, rst_int),                Result          => CLK_div_2,                PreviousDataIn  => PrevData1            );        IF TEST_ipd = '0' OR TEST_ipd = 'L' THEN            tmux_out <= pll_out;        ELSE            tmux_out <= CLKIN_ipd;        END IF;        nomux <= tmux_out;        IF SEL_ipd = '0' OR SEL_ipd = 'L' THEN            omux <= tmux_out;        ELSE            omux <= CLK_div_2;        END IF;    END PROCESS DIV2;    ----------------------------------------------------------------------------    -- OUTP Process    ----------------------------------------------------------------------------    OUTP : PROCESS (OENeg_ipd, omux, nomux)        -- Functionality Results Variables        VARIABLE Y1_zd              : std_ulogic;        VARIABLE Y2_zd              : std_ulogic;        -- Output Glitch Detection Variables        VARIABLE Y1_GlitchData      : VitalGlitchDataType;        VARIABLE Y2_GlitchData      : VitalGlitchDataType;    BEGIN        Y1_zd := VitalBUFIF0 (data => omux, enable => OENeg_ipd);        Y2_zd := VitalBUFIF0 (data => nomux, enable => OENeg_ipd);        ------------------------------------------------------------------------        -- Path Delay Section        ------------------------------------------------------------------------        VitalPathDelay01Z (            OutSignal       => Y1,            OutSignalName   => "Y1",            OutTemp         => Y1_zd,            GlitchData      => Y1_GlitchData,            XOn             => XOn,            MsgOn           => MsgOn,            Paths           => (                0 => (InputChangeTime   => omux'LAST_EVENT,                      PathDelay         => VitalExtendToFillDelay(tpd_CLKIN_Y1A),                      PathCondition     => TRUE),                1 => (InputChangeTime   => OENeg_ipd'LAST_EVENT,                      PathDelay         => tpd_OENeg_Y1A,                      PathCondition     => TRUE)            )        );        VitalPathDelay01Z (            OutSignal       => Y2,            OutSignalName   => "Y2",            OutTemp         => Y2_zd,            GlitchData      => Y2_GlitchData,            XOn             => XOn,            MsgOn           => MsgOn,            Paths           => (                0 => (InputChangeTime   => nomux'LAST_EVENT,                      PathDelay         => VitalExtendToFillDelay(tpd_CLKIN_Y1A),                      PathCondition     => TRUE),                1 => (InputChangeTime   => OENeg_ipd'LAST_EVENT,                      PathDelay         => tpd_OENeg_Y1A,                      PathCondition     => TRUE)            )        );    END PROCESS OUTP;END vhdl_behavioral;