app2.2.htm

介绍asci设计的一本书

 reg_assignment <SPAN CLASS="Bold">
)</SPAN>
 statement </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=17991">
 </A>
mintypmax_expression ::= [31, 146] [95LRM 4.3] expression [90]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=17992">
 </A>
	| expression <SPAN CLASS="Bold">
:</SPAN>
 expression <SPAN CLASS="Bold">
:</SPAN>
 expression </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=17993">
 </A>
module_declaration ::= [34] [95LRM 12.1] module_keyword <SPAN CLASS="ComputerEmphasis">
module</SPAN>
_identifier [91]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=17994">
 </A>
	[ list_of_ports ] <SPAN CLASS="Bold">
;</SPAN>
 {module_item } <SPAN CLASS="ComputerKeyword">
endmodule</SPAN>
 </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=17995">
 </A>
module_instance ::= [93] [95LRM 12.1, 12.1.2] [92]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=17996">
 </A>
	name_of_instance <SPAN CLASS="Bold">
(</SPAN>
 [ list_of_module_connections ] <SPAN CLASS="Bold">
)</SPAN>
 </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=17997">
 </A>
module_instantiation ::= [94] [95LRM 12.1.2] [93]</P>
<P CLASS="zAppComputer">
<A NAME="pgfId=17998">
 </A>
	<SPAN CLASS="ComputerEmphasis">
module</SPAN>
_identifier [ parameter_value_assignment ] </P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=17999">
 </A>
	module_instance { <SPAN CLASS="Bold">
,</SPAN>
 module_instance } <SPAN CLASS="Bold">
;</SPAN>
 </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=18000">
 </A>
module_item ::= [91] [95LRM 12.1] [94]</P>
<P CLASS="zAppComputer">
<A NAME="pgfId=19457">
 </A>
	module_item_declaration | parameter_override </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=18001">
 </A>
	| continuous_assign | gate_instantiation | udp_instantiation </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=18002">
 </A>
	| module_instantiation | specify_block | initial_construct </P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=18003">
 </A>
	| always_construct </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=18004">
 </A>
module_item_declaration ::= [94] [95LRM 12.1] [95]</P>
<P CLASS="zAppComputer">
<A NAME="pgfId=19466">
 </A>
	parameter_declaration | input_declaration </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=18005">
 </A>
	| output_declaration | inout_declaration | net_declaration </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=18006">
 </A>
	| reg_declaration | integer_declaration | real_declaration </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=18007">
 </A>
	| time_declaration | realtime_declaration | event_declaration </P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=18008">
 </A>
	| task_declaration | function_declaration </P>
<P CLASS="zAppComputerOneLNmbr">
<A NAME="pgfId=18009">
 </A>
module_keyword ::= [91] [95LRM 12.1] <SPAN CLASS="ComputerKeyword">
module</SPAN>
 | <SPAN CLASS="ComputerKeyword">
macromodule</SPAN>
 [96]</P>
<P CLASS="zAppComputerOneLNmbr">
<A NAME="pgfId=18010">
 </A>
mos_switchtype ::= [58] [95LRM 7.1, 7.5] <SPAN CLASS="ComputerKeyword">
nmos</SPAN>
 | <SPAN CLASS="ComputerKeyword">
pmos</SPAN>
 | <SPAN CLASS="ComputerKeyword">
rnmos</SPAN>
 | <SPAN CLASS="ComputerKeyword">
rpmos</SPAN>
 [97]</P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=18011">
 </A>
mos_switch_instance ::= [58] [95LRM 7.1] [98]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=18012">
 </A>
	[ name_of_gate_instance ] <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="zAppComputerNmbr">
<A NAME="pgfId=18013">
 </A>
multiple_concatenation<A HREF="#pgfId=36465" CLASS="footnote">
7</A>
 ::= [21, 146] [95LRM 4.1.14] [99]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=18014">
 </A>
	<SPAN CLASS="Outline">
{</SPAN>
 expression <SPAN CLASS="Outline">
{</SPAN>
 expression { <SPAN CLASS="Bold">
,</SPAN>
 expression } <SPAN CLASS="Outline">
}</SPAN>
 <SPAN CLASS="Outline">
}</SPAN>
 </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=18015">
 </A>
named_port_connection ::= [75] [95LRM 12.1.2, 12.3.4] [100]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=43184">
 </A>
	<SPAN CLASS="Bold">
.</SPAN>
 <SPAN CLASS="ComputerEmphasis">
port</SPAN>
_identifier <SPAN CLASS="Bold">
(</SPAN>
 [ expression ] <SPAN CLASS="Bold">
)</SPAN>
 </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=43185">
 </A>
name_of_gate_instance ::= [12, 45, 98, 116, 118, 134, 137, 151] [95LRM 7.1] [101]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=43196">
 </A>
	<SPAN CLASS="ComputerEmphasis">
gate_instance</SPAN>
_identifier [ range ] </P>
<P CLASS="zAppComputerOneLNmbr">
<A NAME="pgfId=43186">
 </A>
name_of_instance ::= [92] [95LRM 12.1.2] <SPAN CLASS="ComputerEmphasis">
module_instance</SPAN>
_identifier [ range ] [102]</P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=18019">
 </A>
name_of_system_function ::= [55] [95LRM 14] <SPAN CLASS="Bold">
$</SPAN>
identifier [103]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=36450">
 </A>
	Note: the $ in name_of_system_function may not be followed by a space. </P>
<P CLASS="zAppComputerOneLNmbr">
<A NAME="pgfId=18020">
 </A>
name_of_udp_instance ::= [201] [95LRM 8.6] <SPAN CLASS="ComputerEmphasis">
udp_instance</SPAN>
_identifier [ range ] [104]</P>
<P CLASS="zAppComputerOneLNmbr">
<A NAME="pgfId=18022">
 </A>
ncontrol_terminal ::= [12] [95LRM 7.1] <SPAN CLASS="ComputerEmphasis">
scalar</SPAN>
_expression [105]</P>
<P CLASS="zAppComputerOneLNmbr">
<A NAME="pgfId=18023">
 </A>
net_assignment ::= [76, 147] [95LRM 6.1, 9.3] net_lvalue <SPAN CLASS="Bold">
=</SPAN>
 expression [106]</P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=18024">
 </A>
net_declaration ::= [95] [95LRM 3.2.1] [107]</P>
<P CLASS="zAppComputer">
<A NAME="pgfId=18025">
 </A>
	 net_type [ <SPAN CLASS="ComputerKeyword">
vectored</SPAN>
 | <SPAN CLASS="ComputerKeyword">
scalared</SPAN>
 ] [ range ] [ delay3 ] list_of_net_identifiers <SPAN CLASS="Bold">
;</SPAN>
 </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=18027">
 </A>
	| <SPAN CLASS="ComputerKeyword">
trireg</SPAN>
 [ <SPAN CLASS="ComputerKeyword">
vectored</SPAN>
 | <SPAN CLASS="ComputerKeyword">
scalared</SPAN>
 ] </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=18028">
 </A>
		[ charge_strength ] [ range ] [ delay3 ] list_of_net_identifiers <SPAN CLASS="Bold">
;</SPAN>
 </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=18029">
 </A>
	| net_type [ <SPAN CLASS="ComputerKeyword">
vectored</SPAN>
 | <SPAN CLASS="ComputerKeyword">
scalared</SPAN>
 ] </P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=18030">
 </A>
		[drive_strength] [range] [delay3] list_of_net_decl_assignments <SPAN CLASS="Bold">
;</SPAN>
 </P>
<P CLASS="zAppComputerOneLNmbr">
<A NAME="pgfId=18031">
 </A>
net_decl_assignment ::= [77] [95LRM 3.2.1] <SPAN CLASS="ComputerEmphasis">
net</SPAN>
_identifier = expression [108]</P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=18032">
 </A>
net_lvalue ::= [106, 147] [95LRM 6.1] [109]</P>
<P CLASS="zAppComputer">
<A NAME="pgfId=43199">
 </A>
	<SPAN CLASS="ComputerEmphasis">
net</SPAN>
_identifier | <SPAN CLASS="ComputerEmphasis">
net</SPAN>
_identifier <SPAN CLASS="Outline">
[</SPAN>
 expression <SPAN CLASS="Outline">
]</SPAN>
 </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=18033">
 </A>
	| <SPAN CLASS="ComputerEmphasis">
net</SPAN>
_identifier <SPAN CLASS="Outline">
[</SPAN>
 <SPAN CLASS="ComputerEmphasis">
msb</SPAN>
_constant_expression <SPAN CLASS="Bold">
:</SPAN>
 <SPAN CLASS="ComputerEmphasis">
lsb</SPAN>
_constant_expression <SPAN CLASS="Outline">
]</SPAN>
 </P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=18034">
 </A>
	| <SPAN CLASS="ComputerEmphasis">
net</SPAN>
_concatenation </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=18035">
 </A>
net_type ::= [107] [95LRM 3.2.1] [110]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=18036">
 </A>
	<SPAN CLASS="ComputerKeyword">
wire</SPAN>
 | <SPAN CLASS="ComputerKeyword">
tri</SPAN>
 | <SPAN CLASS="ComputerKeyword">
tri1</SPAN>
 | <SPAN CLASS="ComputerKeyword">
supply0</SPAN>
 | <SPAN CLASS="ComputerKeyword">
wand</SPAN>
 | <SPAN CLASS="ComputerKeyword">
triand</SPAN>
 | <SPAN CLASS="ComputerKeyword">
tri0</SPAN>
 | <SPAN CLASS="ComputerKeyword">
supply1</SPAN>
 | <SPAN CLASS="ComputerKeyword">
wor</SPAN>
 | <SPAN CLASS="ComputerKeyword">
trior</SPAN>
 </P>
<P CLASS="zAppComputerOneLNmbr">
<A NAME="pgfId=18037">
 </A>
next_state ::= [165] [95LRM 8.1, 8.1.6] output_symbol | <SPAN CLASS="Bold">
-</SPAN>
 [111]</P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=42001">
 </A>
non-blocking assignment<A HREF="#pgfId=43971" CLASS="footnote">
8</A>
 ::= [181] [95LRM 9.2.2] [112]</P>
<P CLASS="zAppComputer">
<A NAME="pgfId=42002">
 </A>
	reg_lvalue <SPAN CLASS="Bold">
&lt;=</SPAN>
 [ delay_or_event_control ] expression </P>
<P CLASS="zAppComputerOneLNmbr">
<A NAME="pgfId=42003">
 </A>
notify_register ::= [189] [95LRM 14.5.10] <SPAN CLASS="ComputerEmphasis">
register</SPAN>
_identifier [113]</P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=18041">
 </A>
number ::= [21, 146] [95LRM 2.5] [114]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=18042">
 </A>
	decimal_number | octal_number | binary_number | hex_number | real_number </P>
<P CLASS="zAppComputerOneLNmbr">
<A NAME="pgfId=18043">
 </A>
n_input_gatetype ::= [58] [95LRM 7.1] <SPAN CLASS="ComputerKeyword">
and</SPAN>
 | <SPAN CLASS="ComputerKeyword">
nand</SPAN>
 | <SPAN CLASS="ComputerKeyword">
or</SPAN>
 | <SPAN CLASS="ComputerKeyword">
nor</SPAN>
 | <SPAN CLASS="ComputerKeyword">
xor</SPAN>
 | <SPAN CLASS="ComputerKeyword">
xnor</SPAN>
 [115]</P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=18044">
 </A>
n_input_gate_instance ::= [58] [95LRM 7.1] [116]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=18045">
 </A>
		[ name_of_gate_instance ] <SPAN CLASS="Bold">
(</SPAN>
 output_terminal <SPAN CLASS="Bold">
,</SPAN>
 input_terminal { <SPAN CLASS="Bold">
,</SPAN>
 input_terminal } <SPAN CLASS="Bold">
)</SPAN>
 </P>
<P CLASS="zAppComputerOneLNmbr">
<A NAME="pgfId=18046">
 </A>
n_output_gatetype ::= [58] [95LRM 7.1] <SPAN CLASS="ComputerKeyword">
buf</SPAN>
 | <SPAN CLASS="ComputerKeyword">
not</SPAN>
 [117]</P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=39164">
 </A>
n_output_gate_instance ::= [58] [95LRM 7.1] [118]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=39165">
 </A>
	[ name_of_gate_instance ] <SPAN CLASS="Bold">
(</SPAN>
 output_terminal { <SPAN CLASS="Bold">
,</SPAN>
 output_terminal } <SPAN CLASS="Bold">
,</SPAN>
 input_terminal <SPAN CLASS="Bold">
)</SPAN>
 </P>
<P CLASS="zAppComputerOneLNmbr">
<A NAME="pgfId=39166">
 </A>
octal_base ::= [121] [95LRM 2.5.1] <SPAN CLASS="Bold">
&#8217;o </SPAN>
|<SPAN CLASS="Bold">
 &#8217;O</SPAN>
 [119]</P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=36488">
 </A>
octal_digit ::= [121] [95LRM 2.5.1] [120]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=43200">
 </A>
<SPAN CLASS="Bold">
	x </SPAN>
|<SPAN CLASS="Bold">
 X </SPAN>
|<SPAN CLASS="Bold">
 z </SPAN>
|<SPAN CLASS="Bold">
 Z </SPAN>
|<SPAN CLASS="Bold">
 0 </SPAN>
|<SPAN CLASS="Bold">
 1 </SPAN>
|<SPAN CLASS="Bold">
 2 </SPAN>
|<SPAN CLASS="Bold">
 3 </SPAN>
|<SPAN CLASS="Bold">
 4 </SPAN>
|<SPAN CLASS="Bold">
 5 </SPAN>
|<SPAN CLASS="Bold">
 6 </SPAN>
|<SPAN CLASS="Bold">
 7</SPAN>
 </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=18051">
 </A>
octal_number ::= [114] [95LRM 2.5.1] [121]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=43201">
 </A>
	[ size ] octal_base octal_digit { <SPAN CLASS="Bold">
_</SPAN>
 | octal_digit} </P>
<P CLASS="zAppComputerOneLNmbr">
<A NAME="pgfId=18052">
 </A>
ordered_port_connection ::= [75] [95LRM 12.1.2, 12.3.3] [ expression ] [122]</P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=18053">
 </A>
output_declaration ::= [95, 190, 203] [95LRM 12.3.2] [123]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=43203">
 </A>
	<SPAN CLASS="ComputerKeyword">
output</SPAN>
 [ range ] list_of_port_identifiers <SPAN CLASS="Bold">
;</SPAN>
 </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=18054">
 </A>
output_identifier ::= [177] [95LRM 13.3.2] [124]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=19606">
 </A>
	<SPAN CLASS="ComputerEmphasis">
output_port</SPAN>
_identifier | <SPAN CLASS="ComputerEmphasis">
inout_port</SPAN>
_identifier </P>
<P CLASS="zAppComputerOneLNmbr">
<A NAME="pgfId=18055">
 </A>
output_symbol ::= [14, 111] [95LRM 8.1, 8.1.6] <SPAN CLASS="Bold">
0 </SPAN>
|<SPAN CLASS="Bold">
 1 </SPAN>
|<SPAN CLASS="Bold">
 x </SPAN>
|<SPAN CLASS="Bold">
 X</SPAN>
 [125]</P>
<P CLASS="zAppComputerNmbr">