| Anonymous | Login | 2010-09-08 03:29 PDT |
| Main | My View | View Issues | Docs | Wiki |
| Viewing Issue Simple Details [ Jump to Notes ] [ Wiki ] | [ View Advanced ] [ Issue History ] [ Print ] | |||||||||||
| ID | Category | Severity | Date Submitted | Last Update | ||||||||
| 0001130 | [SystemVerilog P1800] SV-BC | feature | 2005-12-04 22:12 | 2010-02-08 02:48 | ||||||||
| Reporter | mmaidment | View Status | public | |||||||||
| Assigned To | ||||||||||||
| Priority | normal | Resolution | open | |||||||||
| Status | new | Product Version | ||||||||||
| Summary | 0001130: non_zero_unsigned_number and non_zero_decimal_digit is not supported by industry standard tools | |||||||||||
| Description |
Two non-terminals "non_zero_unsigned_number" and "non_zero_decimal_digit" are used only in the following section of BNF. According to the BNF any analyzer tool should give syntax error for the literal numbers like 02'b10, 008'o4, 014'h12, 04'd3, 05'dxx_x, 02'dz_z etc. But most of the industry standard tools support the above mentioned literal numbers. Can we remove the rules of non_zero_unsigned_number and non_zero_decimal_digit from BNF? Portion of BNF is as follows: number ::= decimal_number |octal_number |binary_number |hex_number |real_number real_number ::= unsigned_number .unsigned_number |unsigned_number [ .unsigned_number ] exp [ sign ] unsigned__number .... decimal_number ::= unsigned_number |[ size ] decimal__base unsigned_number |[ size ] decimal__base x_digit {_} |[ size ] decimal__base z_digit {_} binary_number ::=[ size ] binary__base binary_value octal_number ::=[ size ] octal__base octal_value hex_number ::=[ size ] hex__base hex_value .... size ::=non_zero_unsigned_number non_zero_unsigned_number ::=non_zero_decimal_digit {_|decimal_digit} unsigned_number ::=decimal_digit {_|decimal_digit } ... ... non_zero_decimal_digit ::=1 |2 |3 |4 |5 |6 |7 |8 |9 decimal_digit ::=0 |1 |2 |3 |4 |5 |6 |7 |8 |9 |
|||||||||||
| Additional Information |
Was issue 542 in 1364 database http://www.boyd.com/1364_btf/report/full_pr/542.html [^] Originator: Kausik Datta |
|||||||||||
| Tags | No tags attached. | |||||||||||
| Type | Enhancement | |||||||||||
| Attached Files |
 BNF_1130.htm [^] (47,939 bytes) 2006-04-23 22:44 |
|||||||||||
|
|
||||||||||||
 Relationships |
|||||||||||
|
|||||||||||
|
Notes |
|
 (0002166)mmaidment (manager) 2005-12-04 22:13 |
In Syntax 2-1 and in A.8.7, DELETE non_zero_unsigned_number, non_zero_decimal_digit. CHANGE size ::= non_zero_unsigned_number TO size ::= unsigned_number |
|
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2005-12-04 22:12 | mmaidment | New Issue | |
| 2005-12-04 22:12 | mmaidment | Type | => Enhancement |
| 2005-12-04 22:13 | mmaidment | Note Added: 0002166 | |
| 2005-12-04 22:13 | mmaidment | Note Added: 0002167 | |
| 2005-12-04 22:14 | mmaidment | Issue Monitored: mmaidment | |
| 2005-12-04 22:14 | mmaidment | Issue End Monitor: mmaidment | |
| 2006-04-23 00:53 | shalom | Note Deleted: 0002167 | |
| 2006-04-23 00:53 | shalom | Priority | normal => immediate |
| 2006-04-23 22:44 | Brad Pierce | File Added: BNF_1130.htm | |
| 2006-04-23 22:44 | Brad Pierce | Status | new => assigned |
| 2006-04-23 22:44 | Brad Pierce | Assigned To | => mmaidment |
| 2006-07-31 10:20 | Brad Pierce | Note Added: 0002815 | |
| 2006-08-04 03:36 | shalom | Issue Monitored: shalom | |
| 2007-06-04 11:20 | mmaidment | Priority | immediate => normal |
| 2008-08-21 02:28 | shalom | Relationship added | related to 0001396 |
| 2008-08-25 00:35 | shalom | Assigned To | mmaidment => |
| 2008-08-25 00:35 | shalom | Status | assigned => new |
| 2008-08-25 00:35 | shalom | Category | V-1364 => SV-BC |
| 2008-08-25 00:35 | shalom | Description Updated | |
| 2008-09-28 06:08 | shalom | Note Deleted: 0002815 | |
| 2010-02-08 02:48 | shalom | Relationship added | child of 0002906 |
| Mantis 1.1.7[^] Copyright © 2000 - 2008 Mantis Group |  |
