0000989: 3.9.1: content overlaps end of 3.9 + other problems

EDA.org Mantis

Viewing Issue Simple Details [ Jump to Notes ] [ Wiki ]

[ View Advanced ] [ Issue History ] [ Print ]

Category

Severity

Date Submitted

Last Update

0000989

[SystemVerilog P1800] V-1364

text

2005-11-21 15:18

2010-02-08 02:51

Reporter

shalom

View Status

public

Assigned To

Priority

normal

Resolution

open

Status

new

Product Version

Summary

0000989: 3.9.1: content overlaps end of 3.9 + other problems

Description

This is a follow-up to #192.

3.9.1 "Operators and real numbers":

Most of this subsection talks about where reals cannot be used. This substantially overlaps the last paragraphs of 3.9 with some duplication. It does not seem to justify a separate subsection. I propose combining them, either by folding 3.9.1 into 3.9, or by moving the end of 3.9 into 3.9.1.

Specific comments on the current wording of 3.9.1:

1. The 3rd bullet (reals cannot be used as indices of vector bit-selects or part-selects) seems misplaced, better placed in 4.2.1. The proposed fix to #192 indeed adds a statement there.

2. If we want to list ALL the places where reals may not appear, I suspect we will find many more situations as well, so maybe it is better not to list them at all.

3. The sentence "Real number constants and real variables are also prohibited in the following cases:" is wrong because the following cases apply only to variables.

4. The restrictions are not on the variables, but on the permitted ways to manipulate them.

5. This entire section should reference "realtime" as well as "real" variables. In fact, there are several places in the LRM where "realtime" should be added to mention of "real". And even though 3.9 says that "realtime" shall be treated synonomously with "real", nevertheless in the vast majority of places, "realtime" was still mentioned explicitly. And there are places where there IS a distinction between them.

6. "Edge descriptors" is an incorrect description of posedge and negedge. "Edge descriptors" are something else. posedge and negedge could be called "edge event controls"? By the way, the BNF does not restrict them, so this is a semantic restriction.

Additional Information

This was issue BTF-395
Originator Shalom.Bresticker@motorola.com

Tags

No tags attached.

Type

Errata

Attached Files

395.html [^] (3,977 bytes) 2005-11-21 15:18

Relationships

related to	0001596	new		duplication of text on conversion of real to integer
child of	0002464	new		Master issue for SV-BC Real issues

Notes
(0004722) shalom (manager) 2007-09-30 09:36	In P1800-2008/D3a, 5.7.2 (Real literal constants) and 6.12.2 (Conversion) both contain the following paragraph: "Real numbers shall be converted to integers by rounding the real number to the nearest integer, rather than by truncating it. Implicit conversion shall take place when a real number is assigned to an integer." This seems redundant.

(0006849) shalom (manager) 2008-05-18 01:20	The last bugnote is covered by 0001596.

Issue History
Date Modified	Username	Field	Change
2005-11-21 15:18	Dave Rich	New Issue
2005-11-21 15:18	Dave Rich	File Added: 395.html
2005-11-21 15:18	Dave Rich	Type	=> Errata
2005-11-21 15:24	Dave Rich	Severity	feature => text
2005-11-21 15:24	Dave Rich	Category	Encryption => V-1364
2005-11-21 15:24	Dave Rich	Description Updated
2006-04-09 10:05	Brad Pierce	Reporter	Dave Rich => shalom
2006-04-09 10:05	Brad Pierce	Description Updated
2007-07-31 01:26	shalom	Issue Monitored: shalom
2007-09-30 09:36	shalom	Note Added: 0004722
2007-10-18 07:12	shalom	Description Updated
2008-05-18 01:19	shalom	Relationship added	related to 0001596
2008-05-18 01:20	shalom	Note Added: 0006849
2010-02-08 02:51	shalom	Relationship added	child of 0002464

Mantis 1.1.7[^]