tailieunhanh - Formal Syntax Definition part 2

[ Team LiB ] Primitive Instances Primitive Instantiation and Instances gate_instantiation ::= cmos_switchtype [delay3] cmos_switch_instance { , cmos_switch_instance } ; | enable_gatetype [drive_strength] [delay3] enable_gate_instance { , enable_gate_instance } ; | Team LiB Primitive Instances Primitive Instantiation and Instances gate_instantiation cmos_switchtype delay3 cmos_switch_instance cmos_switch_instance enable_gatetype drive_strength delay3 enable_gate_instance enable_gate_instance mos_switchtype delay3 mos_switch_instance mos_switch_instance n_input_gatetype drive_strength delay2 n_input_gate_instance n_input_gate_instance n_output_gatetype drive_strength delay2 n_output_gate_instance n_output_gate_instance pass_en_switchtype delay2 pass_enable_switch_instance pass_enable_switch_instance pass_switchtype pass_switch_instance pass_switch_instance pulldown pulldown_strength pull_gate_instance pull_gate_instance pullup pullup_strength pull_gate_instance pull_gate_instance cmos_switch_instance name_of_gate_instance output_terminal input_terminal ncontrol_terminal pcontrol_terminal enable_gate_instance name_of_gate_instance output_terminal input_terminal enable_terminal mos_switch_instance name_of_gate_instance output_terminal input_terminal enable_terminal n_input_gate_instance name_of_gate_instance output_terminal input_terminal input_terminal n_output_gate_instance name_of_gate_instance output_terminal output_termi nal input_terminal pass_switch_instance name_of_gate_instance inout_terminal inout_terminal pass_enable_switch_instance name_of_gate_instance inout_terminal inout_term inal enable_terminal pull_gate_instance name_of_gate_instance output_terminal name_of_gate_instance gate_instance_identifier range Primitive Strengths pulldown_strength strengthO strengthl strengthl strengthO strengthO pullup_strength strengthO strengthl strengthl strengthO strengthl Primitive Terminals enable_terminal expression inout_terminal net_lvalue input_terminal expression ncontrol_terminal expression output_terminal net_lvalue pcontrol_terminal expression Primitive Gate and Switch Types cmos_switchtype cmos rcmos enable_gatetype bufifO bufifl notifO notifl mos_switchtype nmos pmos rnmos rpmos .