From: Adam Krolnik (adamk@cyrix.com)
Date: Wed Aug 05 1998 - 22:10:15 PDT
Good morning:
<p>Here is a list of required changes to Cliff's BNF that I have figured out
and made. There are other problems, but some I don't understand how they
should be fixed. I will leave that to Cliff.
Adam
module_item_declaration needs
+ 1998 B01> | genvar_declaration
<p>module_or_generate_item_declaration needs:
+ 1998 B01> | combinational_task_declaration
+ 1998 B01> | recursive_reentrant_task_declaration
Replace: (adding initialization)
! 1998 B02>list_of_regmem_identifiers ::= register_name | memory_name
{ , register_name | memory_name }
! 1998 B02>list_of_register_identifiers ::= register_name { , register_name }
with:
! 1998 B02>list_of_regmem_identifiers ::= register_name [ = constant_expression ] | memory_name { , register_name [ = constant_expression ] | memory_name }
! 1998 B02>list_of_register_identifiers ::= register_name [ = constant_expression ] { , register_name [ = constant_expression ] }
<p>In a function (both regular and recursive), replace 'statement' with:
! function_seq_block
In a UDP, port connections were misnamed! Instead of:
! udp_instance ::= [ name_of_udp_instance ] ( output_port_connection , input_port_connection
! { , input_port_connection } )
it should be:
! udp_instance ::= [ name_of_udp_instance ] ( udp_output_port_connection , udp_input_port_connection
! { , udp_input_port_connection } )
<p>Diff of all changes (for Cliff.)
47a48
> 1998 B01> | genvar_declaration
66a68,69
> 1998 B01> | combinational_task_declaration
> 1998 B01> | recursive_reentrant_task_declaration
67a71,72
> 1998 B01> | recursive_function_declaration
>
117,118c122,123
< 1998 B02>list_of_regmem_identifiers ::= register_name | memory_name { , register_name | memory_name }
< 1998 B02>list_of_register_identifiers ::= register_name { , register_name }
---
> 1998 B02>list_of_regmem_identifiers ::= register_name [ = constant_expression ] | memory_name { , register_name [ = constant_expression ] | memory_name }
> 1998 B02>list_of_register_identifiers ::= register_name [ = constant_expression ] { , register_name [ = constant_expression ] }
161c166
< statement
---
> function_seq_block
171c176
< 1998 B04> statement
---
> 1998 B04> function_seq_block
363,364c368,369
< udp_instance ::= [ name_of_udp_instance ] ( output_port_connection , input_port_connection
< { , input_port_connection } )
---
> udp_instance ::= [ name_of_udp_instance ] ( udp_output_port_connection , udp_input_port_connection
> { , udp_input_port_connection } )
536c541
< | PATHPULSE$specify_input_terminal_descriptor$specify_output_terminal_descriptor
---
> | PATHPULSE$ specify_input_terminal_descriptor$specify_output_terminal_descriptor
~
This archive was generated by hypermail 2.1.4
: Mon Jul 08 2002 - 12:52:59 PDT
and
sponsored by Boyd Technology, Inc.