
----------------------------------------------------------------
-- 
-- Created by the Synopsys Library Compiler 1999.10
-- FILENAME     :    mAMIs050DL_Vtables.vhd
-- FILE CONTENTS:    VITAL Table Package
-- DATE CREATED :    Thu Jun 15 18:02:53 2000
-- 
-- LIBRARY      :    mAMIs050DL
-- REVISION     :    Not Specified
-- TECHNOLOGY   :    cmos
-- TIME SCALE   :    1 ps
-- LOGIC SYSTEM :    IEEE-1164
-- NOTES        :    
-- HISTORY      :
-- 
----------------------------------------------------------------

library IEEE;
use IEEE.STD_LOGIC_1164.all;
-- synopsys translate_off

library IEEE;
use IEEE.VITAL_Timing.all;
use IEEE.VITAL_Primitives.all;
-- synopsys translate_on

package VTABLES is

   CONSTANT L : VitalTableSymbolType := '0';
   CONSTANT H : VitalTableSymbolType := '1';
   CONSTANT x : VitalTableSymbolType := '-';
   CONSTANT S : VitalTableSymbolType := 'S';
   CONSTANT R : VitalTableSymbolType := '/';
   CONSTANT U : VitalTableSymbolType := 'X';
   CONSTANT V : VitalTableSymbolType := 'B'; -- valid clock signal (non-rising)

   CONSTANT DFF_Q_tab : VitalStateTableType := (
    ( L,  L,  H,  x,  L ),
    ( L,  H,  H,  x,  H ),
    ( H,  x,  x,  x,  S ),
    ( x,  x,  L,  x,  S ));

   CONSTANT DFFC_Q_tab : VitalStateTableType := (
    ( L,  x,  x,  x,  x,  L ),
    ( H,  L,  H,  H,  x,  H ),
    ( H,  H,  x,  x,  x,  S ),
    ( H,  x,  x,  L,  x,  S ),
    ( x,  L,  L,  H,  x,  L ));

   CONSTANT DFFP_Q_tab : VitalStateTableType := (
    ( L,  L,  H,  H,  x,  L ),
    ( L,  H,  x,  H,  x,  H ),
    ( H,  x,  H,  x,  x,  S ),
    ( x,  x,  L,  x,  x,  H ),
    ( x,  x,  H,  L,  x,  S ));

   CONSTANT DFFPC_Q_tab : VitalStateTableType := (
    ( L,  x,  x,  x,  H,  x,  L ),
    ( H,  L,  H,  H,  x,  x,  H ),
    ( H,  H,  x,  x,  H,  x,  S ),
    ( H,  x,  x,  L,  H,  x,  S ),
    ( x,  L,  L,  H,  H,  x,  L ),
    ( x,  x,  x,  x,  L,  x,  H ));

   CONSTANT DFFPC_QB_tab : VitalStateTableType := (
    ( L,  x,  x,  x,  H,  x,  L ),
    ( H,  L,  L,  H,  x,  x,  H ),
    ( H,  H,  x,  x,  H,  x,  S ),
    ( H,  x,  x,  L,  H,  x,  S ),
    ( x,  L,  H,  H,  H,  x,  L ),
    ( x,  x,  x,  x,  L,  x,  H ));

   CONSTANT LAT_Q_tab : VitalStateTableType := (
    ( L,  L,  x,  L ),
    ( L,  H,  x,  H ),
    ( H,  x,  x,  S ));

   CONSTANT LATC_Q_tab : VitalStateTableType := (
    ( L,  x,  x,  x,  L ),
    ( H,  L,  H,  x,  H ),
    ( H,  H,  x,  x,  S ),
    ( x,  L,  L,  x,  L ));

   CONSTANT LATP_Q_tab : VitalStateTableType := (
    ( L,  L,  H,  x,  L ),
    ( L,  H,  x,  x,  H ),
    ( H,  x,  H,  x,  S ),
    ( x,  x,  L,  x,  H ));

   CONSTANT LATPC_Q_tab : VitalStateTableType := (
    ( L,  x,  x,  H,  x,  L ),
    ( H,  L,  H,  x,  x,  H ),
    ( H,  H,  x,  H,  x,  S ),
    ( x,  L,  L,  H,  x,  L ),
    ( x,  x,  x,  L,  x,  H ));

   CONSTANT LATPC_QB_tab : VitalStateTableType := (
    ( L,  x,  x,  H,  x,  L ),
    ( H,  L,  L,  x,  x,  H ),
    ( H,  H,  x,  H,  x,  S ),
    ( x,  L,  H,  H,  x,  L ),
    ( x,  x,  x,  L,  x,  H ));


end VTABLES;

---- end of VITAL tables library ----
