/* KEYWORD Liberty_DELAY_MODEL = single_value_annotation { CONTEXT = LIBRARY ; } SEMANTICS Liberty_DELAY_MODEL { VALUES { generic_cmos table_lookup cmos2 piecewise_cmos dcm polynomial } } */ KEYWORD Liberty_PROCESS = arithmetic_model ; SEMANTICS Liberty_PROCESS { VALUETYPE = number ; CONTEXT { LIBRARY SUBLIBRARY WIRE CELL VECTOR TEMPLATE CLASS HEADER } } KEYWORD Liberty_OPERATING_CLASS = single_value_annotation { CONTEXT { LIBRARY SUBLIBRARY WIRE CELL VECTOR CLASS } } SEMANTICS Liberty_OPERATING_CLASS = single_value_annotation { REFERENCETYPE = CLASS ; } KEYWORD Liberty_TREE_TYPE = single_value_annotation { CONTEXT = CLASS ; } SEMANTICS Liberty_TREE_TYPE { VALUES { best_case_tree balanced_tree worst_case_tree } } KEYWORD Liberty_SCALING_CLASS = single_value_annotation { CONTEXT { LIBRARY SUBLIBRARY WIRE CELL VECTOR CLASS } } SEMANTICS Liberty_SCALING_CLASS { REFERENCETYPE = CLASS ; }