app2.2.htm

介绍asci设计的一本书

<A NAME="pgfId=18056">
 </A>
output_terminal ::= [12, 45, 98, 116, 118, 151] [95LRM 7.1] [126]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=18057">
 </A>
	<SPAN CLASS="ComputerEmphasis">
terminal</SPAN>
_identifier | <SPAN CLASS="ComputerEmphasis">
terminal</SPAN>
_identifier <SPAN CLASS="Outline">
[</SPAN>
 constant_expression <SPAN CLASS="Outline">
]</SPAN>
 </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=18058">
 </A>
parallel_edge_sensitive_path_description<A HREF="#pgfId=39252" CLASS="footnote">
9</A>
 ::= [42] [95LRM 13.3.2] [127]</P>
<P CLASS="zAppComputer">
<A NAME="pgfId=18059">
 </A>
	 <SPAN CLASS="Bold">
(</SPAN>
 [ edge_identifier ] specify_input_terminal_descriptor <SPAN CLASS="Bold">
=&gt;</SPAN>
 </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=18060">
 </A>
	 specify_output_terminal_descriptor </P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=18271">
 </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=18061">
 </A>
parallel_path_description ::= [171] [95LRM 13.3.2] [128]</P>
<P CLASS="zAppComputer">
<A NAME="pgfId=43205">
 </A>
	<SPAN CLASS="Bold">
(</SPAN>
 specify_input_terminal_descriptor </P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=18062">
 </A>
		[ polarity_operator ] <SPAN CLASS="Bold">
=&gt;</SPAN>
 specify_output_terminal_descriptor <SPAN CLASS="Bold">
)</SPAN>
 </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=18063">
 </A>
parameter_declaration ::= [7, 95] [95LRM 3.10] [129]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=43206">
 </A>
	<SPAN CLASS="ComputerKeyword">
parameter</SPAN>
 list_of_param_assignments <SPAN CLASS="Bold">
;</SPAN>
 </P>
<P CLASS="zAppComputerOneLNmbr">
<A NAME="pgfId=18064">
 </A>
parameter_override ::= [94] [95LRM 12.2] <SPAN CLASS="ComputerKeyword">
defparam</SPAN>
 list_of_param_assignments <SPAN CLASS="Bold">
;</SPAN>
 [130]</P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=18066">
 </A>
parameter_value_assignment ::= [93] [95LRM 12.1.2] [131]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=43208">
 </A>
	<SPAN CLASS="Bold">
#</SPAN>
 <SPAN CLASS="Bold">
(</SPAN>
 expression { <SPAN CLASS="Bold">
,</SPAN>
 expression } <SPAN CLASS="Bold">
)</SPAN>
 </P>
<P CLASS="zAppComputerOneLNmbr">
<A NAME="pgfId=18067">
 </A>
param_assignment ::= [79] [95LRM 3.10] <SPAN CLASS="ComputerEmphasis">
parameter</SPAN>
_identifier = constant_expression [132]</P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=18068">
 </A>
par_block ::= [181] [95LRM 9.8.2] [133]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=18069">
 </A>
	 <SPAN CLASS="ComputerKeyword">
fork</SPAN>
 [ <SPAN CLASS="Bold">
:</SPAN>
 <SPAN CLASS="ComputerEmphasis">
block</SPAN>
_identifier { block_item_declaration } ] { statement } <SPAN CLASS="ComputerKeyword">
join</SPAN>
 </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=18070">
 </A>
pass_enable_switch_instance<A HREF="#pgfId=43980" CLASS="footnote">
10</A>
 ::= [58] [95LRM 7.1] [134]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=88101">
 </A>
	 [ name_of_gate_instance ] <SPAN CLASS="Bold">
(</SPAN>
 inout_terminal <SPAN CLASS="Bold">
,</SPAN>
 inout_terminal <SPAN CLASS="Bold">
,</SPAN>
 enable_terminal <SPAN CLASS="Bold">
)</SPAN>
 </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=88102">
 </A>
pass_en_switchtype ::= [58] [95LRM 7.1] [135]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=88103">
 </A>
	<SPAN CLASS="ComputerKeyword">
tranif0</SPAN>
 | <SPAN CLASS="ComputerKeyword">
tranif1</SPAN>
 | <SPAN CLASS="ComputerKeyword">
rtranif1</SPAN>
 | <SPAN CLASS="ComputerKeyword">
rtranif0</SPAN>
 </P>
<P CLASS="zAppComputerOneLNmbr">
<A NAME="pgfId=18073">
 </A>
pass_switchtype ::= [58] [95LRM 7.1] <SPAN CLASS="ComputerKeyword">
tran</SPAN>
 | <SPAN CLASS="ComputerKeyword">
rtran</SPAN>
 [136]</P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=18074">
 </A>
pass_switch_instance ::= [58] [95LRM 7.1] [137]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=18075">
 </A>
	[ name_of_gate_instance ] <SPAN CLASS="Bold">
(</SPAN>
 inout_terminal <SPAN CLASS="Bold">
,</SPAN>
 inout_terminal <SPAN CLASS="Bold">
)</SPAN>
 </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=18076">
 </A>
path_declaration<A HREF="#pgfId=42534" CLASS="footnote">
11</A>
 ::= [176] [95LRM 13.3] simple_path_declaration <SPAN CLASS="Bold">
;</SPAN>
 [138]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=18077">
 </A>
	| edge_sensitive_path_declaration <SPAN CLASS="Bold">
;</SPAN>
 | state-dependent_path_declaration <SPAN CLASS="Bold">
;</SPAN>
 </P>
<P CLASS="zAppComputerOneLNmbr">
<A NAME="pgfId=18079">
 </A>
path_delay_expression ::= [80] [95LRM 13.4] constant_mintypmax_expression [139]</P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=18080">
 </A>
path_delay_value ::= [42, 171] [95LRM 13.4] [140]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=18081">
 </A>
	list_of_path_delay_expressions | <SPAN CLASS="Bold">
(</SPAN>
 list_of_path_delay_expressions <SPAN CLASS="Bold">
)</SPAN>
 </P>
<P CLASS="zAppComputerOneLNmbr">
<A NAME="pgfId=18082">
 </A>
pcontrol_terminal ::= [12] [95LRM 7.1] <SPAN CLASS="ComputerEmphasis">
scalar</SPAN>
_expression [141]</P>
<P CLASS="zAppComputerOneLNmbr">
<A NAME="pgfId=18083">
 </A>
polarity_operator ::= [53, 54, 127, 128] [95LRM 13.3.2] <SPAN CLASS="Bold">
+</SPAN>
 | <SPAN CLASS="Bold">
-</SPAN>
 [142]</P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=18084">
 </A>
port ::= [83] [95LRM 12.3.1] [143]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=19449">
 </A>
	[ port_expression ] | <SPAN CLASS="Bold">
.</SPAN>
 <SPAN CLASS="ComputerEmphasis">
port</SPAN>
_identifier <SPAN CLASS="Bold">
(</SPAN>
 [ port_expression ] <SPAN CLASS="Bold">
)</SPAN>
 </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=18086">
 </A>
port_expression ::= [143] [95LRM 12.3.1] [144]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=19445">
 </A>
	port_reference | { port_reference { <SPAN CLASS="Bold">
,</SPAN>
 port_reference } } </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=18088">
 </A>
port_reference ::= [144] [95LRM 12.3.1] <SPAN CLASS="ComputerEmphasis">
port</SPAN>
_identifier [145]</P>
<P CLASS="zAppComputer">
<A NAME="pgfId=18089">
 </A>
	| <SPAN CLASS="ComputerEmphasis">
port</SPAN>
_identifier <SPAN CLASS="Outline">
[</SPAN>
 constant_expression <SPAN CLASS="Outline">
]</SPAN>
 </P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=18090">
 </A>
	| <SPAN CLASS="ComputerEmphasis">
port</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="zAppComputerNmbr">
<A NAME="pgfId=18092">
 </A>
primary ::= [52] [95LRM 4] number | identifier | identifier <SPAN CLASS="Outline">
[</SPAN>
 expression <SPAN CLASS="Outline">
]</SPAN>
 [146]</P>
<P CLASS="zAppComputer">
<A NAME="pgfId=18093">
 </A>
	| 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="zAppComputer">
<A NAME="pgfId=18094">
 </A>
	| concatenation | multiple_concatenation | function_call </P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=18095">
 </A>
	| <SPAN CLASS="Bold">
(</SPAN>
 mintypmax_expression <SPAN CLASS="Bold">
)</SPAN>
 </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=18096">
 </A>
procedural_continuous_assignment<A HREF="#pgfId=36570" CLASS="footnote">
12</A>
 ::= [181] [95LRM 9.3] [147]</P>
<P CLASS="zAppComputer">
<A NAME="pgfId=19311">
 </A>
	| <SPAN CLASS="ComputerKeyword">
assign</SPAN>
 reg_assignment <SPAN CLASS="Bold">
;</SPAN>
 </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=18097">
 </A>
	| <SPAN CLASS="ComputerKeyword">
deassign</SPAN>
 reg_lvalue <SPAN CLASS="Bold">
;</SPAN>
 | <SPAN CLASS="ComputerKeyword">
force</SPAN>
 reg_assignment <SPAN CLASS="Bold">
;</SPAN>
 </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=18098">
 </A>
	| <SPAN CLASS="ComputerKeyword">
force</SPAN>
 net_assignment <SPAN CLASS="Bold">
;</SPAN>
 | <SPAN CLASS="ComputerKeyword">
release</SPAN>
 reg_lvalue <SPAN CLASS="Bold">
;</SPAN>
 </P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=18099">
 </A>
	| <SPAN CLASS="ComputerKeyword">
release</SPAN>
 net_lvalue <SPAN CLASS="Bold">
;</SPAN>
 </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=18100">
 </A>
procedural_timing_control_statement ::= [181] [95LRM 9.7] [148]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=18101">
 </A>
	delay_or_event_control statement_or_null </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=18102">
 </A>
pulldown_strength ::= [58] [95LRM 7.1] <SPAN CLASS="Bold">
(</SPAN>
 strength0 <SPAN CLASS="Bold">
,</SPAN>
 strength1 <SPAN CLASS="Bold">
)</SPAN>
 [149]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=18103">
 </A>
	| <SPAN CLASS="Bold">
(</SPAN>
 strength1 <SPAN CLASS="Bold">
,</SPAN>
 strength0 <SPAN CLASS="Bold">
)</SPAN>
 | <SPAN CLASS="Bold">
(</SPAN>
 strength0 <SPAN CLASS="Bold">
)</SPAN>
 </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=18104">
 </A>
pullup_strength ::= [58] [95LRM 7.1] <SPAN CLASS="Bold">
(</SPAN>
 strength0 <SPAN CLASS="Bold">
,</SPAN>
 strength1 <SPAN CLASS="Bold">
)</SPAN>
 [150]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=18105">
 </A>
	| <SPAN CLASS="Bold">
(</SPAN>
 strength1 <SPAN CLASS="Bold">
,</SPAN>
 strength0 <SPAN CLASS="Bold">
)</SPAN>
 | <SPAN CLASS="Bold">
(</SPAN>
 strength1 <SPAN CLASS="Bold">
)</SPAN>
 </P>
<P CLASS="zAppComputerOneLNmbr">
<A NAME="pgfId=18106">
 </A>
pull_gate_instance ::= [58] [95LRM 7.1] [ name_of_gate_instance ] <SPAN CLASS="Bold">
(</SPAN>
 output_terminal <SPAN CLASS="Bold">
)</SPAN>
 [151]</P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=18107">
 </A>
pulse_control_specparam<A HREF="#pgfId=43921" CLASS="footnote">
13</A>
 ::= [179] [95LRM 13.7] [152]</P>
<P CLASS="zAppComputer">
<A NAME="pgfId=18108">
 </A>
	 <SPAN CLASS="Bold">
PATHPULSE$</SPAN>
 = <SPAN CLASS="Bold">
(</SPAN>
 <SPAN CLASS="ComputerEmphasis">
reject</SPAN>
_limit_value [ <SPAN CLASS="Bold">
,</SPAN>
 <SPAN CLASS="ComputerEmphasis">
error</SPAN>
_limit_value ] <SPAN CLASS="Bold">
)</SPAN>
 <SPAN CLASS="Bold">
;</SPAN>
 </P>
<P CLASS="zAppComputer">
<A NAME="pgfId=18109">
 </A>
	| <SPAN CLASS="Bold">
PATHPULSE$</SPAN>
specify_input_terminal_descriptor<SPAN CLASS="Bold">
$</SPAN>
specify_output_terminal_descriptor </P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=18111">
 </A>
		= <SPAN CLASS="Bold">
(</SPAN>
 <SPAN CLASS="ComputerEmphasis">
reject</SPAN>
_limit_value [ <SPAN CLASS="Bold">
,</SPAN>
 <SPAN CLASS="ComputerEmphasis">
error</SPAN>
_limit_value ] <SPAN CLASS="Bold">
)</SPAN>
 <SPAN CLASS="Bold">
;</SPAN>
 </P>
<P CLASS="zAppComputerNmbr">
<A NAME="pgfId=18112">
 </A>
range ::= [66, 68, 101, 102, 104, 107, 123, 154, 160] [95LRM 7.1.5][153]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=43215">
 </A>
	<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="zAppComputerNmbr">
<A NAME="pgfId=18113">
 </A>
range_or_type ::= [56] [95LRM 10.3.1] [154]</P>
<P CLASS="zAppComputerLast">
<A NAME="pgfId=43217">
 </A>
	range | <SPAN CLASS="ComputerKeyword">
integer</SPAN>
 | <SPAN CLASS="ComputerKeyword">
real</SPAN>
 | <SPAN CLASS="ComputerKeyword">
realtime</SPAN>
 | <SPAN CLASS="ComputerKeyword">
time</SPAN>
 </P>
<P CLASS="zAppComputerOneLNmbr">
<A NAME="pgfId=18114">
 </A>
realtime_declaration ::= [7, 95] [95LRM 3.9] <SPAN CLASS="ComputerKeyword">
realtime</SPAN>
 list_of_real_identifiers <SPAN CLASS="Bold">
;</SPAN>
 [155]</P>
<P CLASS="zAppComputerOneLNmb