app2.2.htm

介绍asci设计的一本书

 | <SPAN CLASS="ComputerKeyword">
disable</SPAN>
 <SPAN CLASS="ComputerEmphasis">
block</SPAN>
_identifier <SPAN CLASS="Bold">
;</SPAN>
 </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=17870">
 </A>
drive_strength ::= [22, 58, 107, 202] [95LRM 3.2.1, 3.4.2, 6.1.4] [36]</P>
<P CLASS="zAppComputer">
<A NAME="pgfId=17871">
 </A>
	 <SPAN CLASS="Bold">
(</SPAN>
 strength0 <SPAN CLASS="Bold">
,</SPAN>
 strength1 <SPAN CLASS="Bold">
)</SPAN>
 | <SPAN CLASS="Bold">
(</SPAN>
 strength1 <SPAN CLASS="Bold">
,</SPAN>
 strength0 <SPAN CLASS="Bold">
)</SPAN>
 </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=17872">
 </A>
	| <SPAN CLASS="Bold">
(</SPAN>
 strength0 <SPAN CLASS="Bold">
,</SPAN>
 <SPAN CLASS="ComputerKeyword">
highz1</SPAN>
 <SPAN CLASS="Bold">
)</SPAN>
 | <SPAN CLASS="Bold">
(</SPAN>
 strength1 <SPAN CLASS="Bold">
,</SPAN>
 <SPAN CLASS="ComputerKeyword">
highz0</SPAN>
 <SPAN CLASS="Bold">
)</SPAN>
 </P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=17873">
 </A>
	| <SPAN CLASS="Bold">
(</SPAN>
 <SPAN CLASS="ComputerKeyword">
highz1</SPAN>
 <SPAN CLASS="Bold">
,</SPAN>
 strength0 <SPAN CLASS="Bold">
)</SPAN>
 | <SPAN CLASS="Bold">
(</SPAN>
 <SPAN CLASS="ComputerKeyword">
highz0</SPAN>
 <SPAN CLASS="Bold">
,</SPAN>
 strength1 <SPAN CLASS="Bold">
)</SPAN>
 </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=17874">
 </A>
edge_control_specifier<A HREF="#pgfId=36205" CLASS="footnote">
3</A>
 ::= [196] [95LRM 14.5.9] <SPAN CLASS="ComputerKeyword">
edge</SPAN>
 [37]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=17875">
 </A>
	<SPAN CLASS="Outline">
[</SPAN>
 edge_descriptor [ <SPAN CLASS="Bold">
,</SPAN>
 edge_descriptor ] <SPAN CLASS="Outline">
]</SPAN>
 </P>
<P CLASS="zAppComputerOneLNmbr">
<A NAME="pgfId=35414">
 </A>
edge_descriptor ::= [37] [95LRM 14.5.9] <SPAN CLASS="Bold">
01</SPAN>
 | <SPAN CLASS="Bold">
10</SPAN>
 | <SPAN CLASS="Bold">
0x</SPAN>
 | <SPAN CLASS="Bold">
x1</SPAN>
 | <SPAN CLASS="Bold">
1x</SPAN>
 | <SPAN CLASS="Bold">
x0</SPAN>
 [38]</P>
<P CLASS="zAppComputerOneLNmbr">
<A NAME="pgfId=35415">
 </A>
edge_identifier ::= [53, 127] [95LRM 14.5.9] <SPAN CLASS="Bold">
posedge</SPAN>
 | <SPAN CLASS="ComputerKeyword">
negedge</SPAN>
 [39]</P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=35416">
 </A>
edge_indicator ::= [41] [95LRM 8.1, 8.1.6, 8.4] [40]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=35453">
 </A>
	<SPAN CLASS="Bold">
(</SPAN>
 level_symbol level_symbol <SPAN CLASS="Bold">
)</SPAN>
 | edge_symbol </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=88094">
 </A>
edge_input_list ::= [167] [95LRM 8.1, 8.1.6, 8.4] [41]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=88095">
 </A>
	{ level_symbol } edge_indicator { level_symbol } </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=88096">
 </A>
edge_sensitive_path_declaration ::= [138, 183] [95LRM 13.3.3] [42]</P>
<P CLASS="zAppComputer">
<A NAME="pgfId=17881">
 </A>
	 parallel_edge_sensitive_path_description = path_delay_value </P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=35995">
 </A>
	| full_edge_sensitive_path_description = path_delay_value </P>
<P CLASS="zAppComputerOneLNmbr">
<A NAME="pgfId=35996">
 </A>
edge_symbol ::= [40] [95LRM 8.1.6] <SPAN CLASS="Bold">
r</SPAN>
 | <SPAN CLASS="Bold">
R</SPAN>
 | <SPAN CLASS="Bold">
f</SPAN>
 | <SPAN CLASS="Bold">
F</SPAN>
 | <SPAN CLASS="Bold">
p</SPAN>
 | <SPAN CLASS="Bold">
P</SPAN>
 | <SPAN CLASS="Bold">
n</SPAN>
 | <SPAN CLASS="Bold">
N</SPAN>
 | <SPAN CLASS="Bold">
*</SPAN>
 [43]</P>
<P CLASS="zAppComputerOneLNmbr">
<A NAME="pgfId=35997">
 </A>
enable_gatetype ::= [58] [95LRM 7.1] <SPAN CLASS="ComputerKeyword">
bufif0</SPAN>
 | <SPAN CLASS="ComputerKeyword">
bufif1</SPAN>
 | <SPAN CLASS="ComputerKeyword">
notif0</SPAN>
 | <SPAN CLASS="ComputerKeyword">
notif1</SPAN>
 [44]</P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=17885">
 </A>
enable_gate_instance ::= [58] [95LRM 7.1] [ name_of_gate_instance ] [45]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=17886">
 </A>
	<SPAN CLASS="Bold">
(</SPAN>
 output_terminal <SPAN CLASS="Bold">
,</SPAN>
 input_terminal <SPAN CLASS="Bold">
,</SPAN>
 enable_terminal <SPAN CLASS="Bold">
)</SPAN>
 </P>
<P CLASS="zAppComputerOneLNmbr">
<A NAME="pgfId=17887">
 </A>
enable_terminal ::= [ 45, 98, 134] [95LRM 7.1] <SPAN CLASS="ComputerEmphasis">
scalar</SPAN>
_expression [46]</P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=17888">
 </A>
escaped_identifier ::= [63] [95LRM 2.7.1] [47]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=35431">
 </A>
	<SPAN CLASS="Bold">
\</SPAN>
 {Any_ASCII_character_except_white_space} white_space </P>
<P CLASS="zAppComputerOneLNmbr">
<A NAME="pgfId=17889">
 </A>
event_control ::= [32] [95LRM 9.7] <SPAN CLASS="Bold">
@</SPAN>
 <SPAN CLASS="ComputerEmphasis">
event</SPAN>
_identifier | <SPAN CLASS="Bold">
@</SPAN>
 <SPAN CLASS="Bold">
(</SPAN>
 event_expression <SPAN CLASS="Bold">
)</SPAN>
 [48]</P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=17890">
 </A>
event_declaration ::= [7, 95] [95LRM 9.7.3] [49]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=17891">
 </A>
	<SPAN CLASS="ComputerKeyword">
event</SPAN>
 <SPAN CLASS="ComputerEmphasis">
event</SPAN>
_identifier { <SPAN CLASS="Bold">
,</SPAN>
 <SPAN CLASS="ComputerEmphasis">
event</SPAN>
_identifier } <SPAN CLASS="Bold">
;</SPAN>
 </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=17892">
 </A>
event_expression ::= [48, 50] [95LRM 9.7] expression | <SPAN CLASS="ComputerEmphasis">
event</SPAN>
_identifier [50]</P>
<P CLASS="zAppComputer">
<A NAME="pgfId=17893">
 </A>
	| <SPAN CLASS="ComputerKeyword">
posedge</SPAN>
 expression | <SPAN CLASS="ComputerKeyword">
negedge</SPAN>
 expression </P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=17894">
 </A>
	| event_expression <SPAN CLASS="ComputerKeyword">
or</SPAN>
 event_expression </P>
<P CLASS="zAppComputerOneLNmbr">
<A NAME="pgfId=17895">
 </A>
event_trigger<A HREF="#pgfId=60586" CLASS="footnote">
4</A>
 ::= [181] [95LRM 9.7.3] | <SPAN CLASS="Bold">
-&gt;</SPAN>
 <SPAN CLASS="ComputerEmphasis">
event</SPAN>
_identifier <SPAN CLASS="Bold">
;</SPAN>
 [51]</P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=17896">
 </A>
expression ::= [see <A HREF="APP2.3.htm#21396" CLASS="XRef">
Table&nbsp;B.1</A>
] [95LRM 4] primary | unary_operator primary [52]</P>
<P CLASS="zAppComputer">
<A NAME="pgfId=17897">
 </A>
	| expression binary_operator expression | expression <SPAN CLASS="Bold">
?</SPAN>
 expression <SPAN CLASS="Bold">
:</SPAN>
 expression </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=60590">
 </A>
	| string </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=17899">
 </A>
full_edge_sensitive_path_description<A HREF="#pgfId=43612" CLASS="footnote">
5</A>
 ::= [42] [95LRM 13.3.2] [53]</P>
<P CLASS="zAppComputer">
<A NAME="pgfId=17900">
 </A>
	 <SPAN CLASS="Bold">
(</SPAN>
 [ edge_identifier ] list_of_path_inputs <SPAN CLASS="Bold">
*&gt;</SPAN>
 </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=29341">
 </A>
		 list_of_path_outputs </P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=29342">
 </A>
			[ polarity_operator ] <SPAN CLASS="Bold">
:</SPAN>
 data_source_expression <SPAN CLASS="Bold">
)</SPAN>
 <SPAN CLASS="Bold">
)</SPAN>
 </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=29343">
 </A>
full_path_description ::= [171] [95LRM 13.3.2, 13.3.5] [54]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=17904">
 </A>
	 <SPAN CLASS="Bold">
(</SPAN>
 list_of_path_inputs [ polarity_operator ] <SPAN CLASS="Bold">
*&gt;</SPAN>
 list_of_path_outputs <SPAN CLASS="Bold">
)</SPAN>
 </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=17905">
 </A>
function_call ::= [146] [95LRM 10.3.3] [55]</P>
<P CLASS="zAppComputer">
<A NAME="pgfId=19413">
 </A>
	<SPAN CLASS="ComputerEmphasis">
function</SPAN>
_identifier <SPAN CLASS="Bold">
(</SPAN>
 expression { <SPAN CLASS="Bold">
,</SPAN>
 expression} <SPAN CLASS="Bold">
)</SPAN>
 </P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=17906">
 </A>
	| name_of_system_function [ <SPAN CLASS="Bold">
(</SPAN>
 expression { <SPAN CLASS="Bold">
,</SPAN>
 expression} <SPAN CLASS="Bold">
)</SPAN>
 ] </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=17907">
 </A>
function_declaration ::= [95] [95LRM 10.3.1] [56]</P>
<P CLASS="zAppComputer">
<A NAME="pgfId=17908">
 </A>
	 <SPAN CLASS="ComputerKeyword">
function</SPAN>
 [ range_or_type ] <SPAN CLASS="ComputerEmphasis">
function</SPAN>
_identifier <SPAN CLASS="Bold">
;</SPAN>
 </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=17909">
 </A>
	 function_item_declaration { function_item_declaration } </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=17910">
 </A>
	 statement </P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=18946">
 </A>
	 <SPAN CLASS="ComputerKeyword">
endfunction</SPAN>
 </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=18947">
 </A>
function_item_declaration ::= [56] [95LRM 10.3.1] [57]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=19404">
 </A>
	block_item_declaration | input_declaration </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=17914">
 </A>
gate_instantiation<A HREF="#pgfId=43603" CLASS="footnote">
6</A>
 ::= [94] [95LRM 7.1] n_input_gatetype [ drive_strength ] [58]</P>
<P CLASS="zAppComputer">
<A NAME="pgfId=17915">
 </A>
	[delay2] n_input_gate_instance { <SPAN CLASS="Bold">
,</SPAN>
 n_input_gate_instance } <SPAN CLASS="Bold">
;</SPAN>
 </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=17916">
 </A>
	| n_output_gatetype [ drive_strength ] [ delay2 ] </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=17917">
 </A>
		n_output_gate_instance { <SPAN CLASS="Bold">
,</SPAN>
 n_output_gate_instance } <SPAN CLASS="Bold">
;</SPAN>
 </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=17918">
 </A>
	| enable_gatetype [ drive_strength ] [ delay3 ] </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=17919">
 </A>
		enable_gate_instance { <SPAN CLASS="Bold">
,</SPAN>
 enable_gate_instance} <SPAN CLASS="Bold">
;</SPAN>
 </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=17920">
 </A>
	| mos_switchtype [ delay3 ] </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=17921">
 </A>
		mos_switch_instance { <SPAN CLASS="Bold">
,</SPAN>
 mos_switch_instance } <SPAN CLASS="Bold">
;</SPAN>
 </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=17922">
 </A>
	| pass_switchtype pass_switch_instance { <SPAN CLASS="Bold">
,</SPAN>
 pass_switch_instance } <SPAN CLASS="Bold">
;</SPAN>
 </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=17923">
 </A>
	| pass_en_switchtype [ delay3 ] </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=17924">
 </A>
		pass_en_switch_instance { <SPAN CLASS="Bold">
,</SPAN>
 pass_en_switch_instance } <SPAN CLASS="Bold">
;</SPAN>
 </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=17925">
 </A>
	| cmos_switchtype [ delay3 ] </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=17926">
 </A>
		cmos_switch_instance { <SPAN CLASS="Bold">
,</SPAN>
 cmos_switch_instance } <SPAN CLASS="Bold">
;</SPAN>
 </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=17927">
 </A>
	| <SPAN CLASS="ComputerKeyword">
pullup</SPAN>
 [ pullup_strength ] </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=17928">
 </A>
		pull_gate_instance { <SPAN CLASS="Bold">
,</SPAN>
 pull_gate_instance } <SPAN CLASS="Bold">
;</SPAN>
 </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=17929">
 </A>
	| <SPAN CLASS="ComputerKeyword">
pulldown</SPAN>
 [ pulldown_strength ] </P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=17930">
 </A>
		pull_gate_instance { <SPAN CLASS="Bold">
,</SPAN>
 pull_gate_instance } <SPAN CLASS="Bold">
;</SPAN>
 </P>
<P CLASS="zAppComputerOneLNmbr">
<A NAME="pgfId=17931">
 </A>
hex_base ::= [61] [95LRM 2.5.1] <SPAN CLASS="Bold">
&#8217;h</SPAN>
 | <SPAN CLASS="Bold">
&#8217;H</SPAN>
 [59]</P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=36232">
 </A>