atom_pack package [Package] |
cascin in std_logic := ' 1 ' [Port] |
cascout out std_logic [Port] |
cin in std_logic := ' 0 ' [Port] |
cin_used string := " false " [Generic] |
combout out std_logic [Port] |
cout out std_logic [Port] |
dataa in std_logic := ' 1 ' [Port] |
datab in std_logic := ' 1 ' [Port] |
datac in std_logic := ' 1 ' [Port] |
datad in std_logic := ' 1 ' [Port] |
IEEE library [Library] |
InstancePath string := " * " [Generic] |
lut_mask string := " ffff " [Generic] |
MsgOn boolean := DefGlitchMsgOn [Generic] |
MsgOnChecks boolean := DefMsgOnChecks [Generic] |
operation_mode string := " normal " [Generic] |
output_mode string := " comb_and_reg " [Generic] |
qfbkin in std_logic := ' 0 ' [Port] |
regin out std_logic [Port] |
std_logic_1164 package [Package] |
TimingChecksOn boolean := true [Generic] |
tipd_cascin vitaldelaytype01 := DefPropDelay01 [Generic] |
tipd_cin vitaldelaytype01 := DefPropDelay01 [Generic] |
tipd_dataa vitaldelaytype01 := DefPropDelay01 [Generic] |
tipd_datab vitaldelaytype01 := DefPropDelay01 [Generic] |
tipd_datac vitaldelaytype01 := DefPropDelay01 [Generic] |
tipd_datad vitaldelaytype01 := DefPropDelay01 [Generic] |
tpd_cascin_cascout vitaldelaytype01 := DefPropDelay01 [Generic] |
tpd_cascin_combout vitaldelaytype01 := DefPropDelay01 [Generic] |
tpd_cascin_regin vitaldelaytype01 := DefPropDelay01 [Generic] |
tpd_cin_cascout vitaldelaytype01 := DefPropDelay01 [Generic] |
tpd_cin_combout vitaldelaytype01 := DefPropDelay01 [Generic] |
tpd_cin_cout vitaldelaytype01 := DefPropDelay01 [Generic] |
tpd_cin_regin vitaldelaytype01 := DefPropDelay01 [Generic] |
tpd_dataa_cascout vitaldelaytype01 := DefPropDelay01 [Generic] |
tpd_dataa_combout vitaldelaytype01 := DefPropDelay01 [Generic] |
tpd_dataa_cout vitaldelaytype01 := DefPropDelay01 [Generic] |
tpd_dataa_regin vitaldelaytype01 := DefPropDelay01 [Generic] |
tpd_datab_cascout vitaldelaytype01 := DefPropDelay01 [Generic] |
tpd_datab_combout vitaldelaytype01 := DefPropDelay01 [Generic] |
tpd_datab_cout vitaldelaytype01 := DefPropDelay01 [Generic] |
tpd_datab_regin vitaldelaytype01 := DefPropDelay01 [Generic] |
tpd_datac_cascout vitaldelaytype01 := DefPropDelay01 [Generic] |
tpd_datac_combout vitaldelaytype01 := DefPropDelay01 [Generic] |
tpd_datac_cout vitaldelaytype01 := DefPropDelay01 [Generic] |
tpd_datac_regin vitaldelaytype01 := DefPropDelay01 [Generic] |
tpd_datad_cascout vitaldelaytype01 := DefPropDelay01 [Generic] |
tpd_datad_combout vitaldelaytype01 := DefPropDelay01 [Generic] |
tpd_datad_cout vitaldelaytype01 := DefPropDelay01 [Generic] |
tpd_datad_regin vitaldelaytype01 := DefPropDelay01 [Generic] |
tpd_qfbkin_cascout vitaldelaytype01 := DefPropDelay01 [Generic] |
tpd_qfbkin_combout vitaldelaytype01 := DefPropDelay01 [Generic] |
tpd_qfbkin_cout vitaldelaytype01 := DefPropDelay01 [Generic] |
tpd_qfbkin_regin vitaldelaytype01 := DefPropDelay01 [Generic] |
VITAL_LEVEL0 TRUE [Attribute] |
Reimplemented from vital_le.
VITAL_Primitives package [Package] |
VITAL_Timing package [Package] |
XOn boolean := DefGlitchXOn [Generic] |
XOnChecks boolean := DefXOnChecks [Generic] |