Parameter override types

[David Jones]

I have a question about the rules in section 3.11.1 of Std-1364-2001 on p. 35.
Bottom bunch of paragraphs:

rule 3:
"A parameter with a type specification, but with no range specification,
shall be of the type specified. A signed parameter shall default to the
range of the final value assigned to the parameter, after any value overrides
have been applied."

rules 5/6:
"A parameter with no range specification, and with either a signed type
specification or no type specification, shall have..."

For a declaration of the form:

parameter signed foo = ...;

is rule 3 supposed to apply, or is one of rules 5/6 supposed to apply?

 

[Srinivasan Venkataramanan]

Hi David,

"David Jones" <dej@inode.org> wrote in message
news:JajRa.6081$104.578358@news20.bellglobal.com...

I have a question about the rules in section 3.11.1 of Std-1364-2001 on p.
35.
Bottom bunch of paragraphs:

rule 3:
"A parameter with a type specification, but with no range specification,
shall be of the type specified. A signed parameter shall default to the
range of the final value assigned to the parameter, after any value
overrides
have been applied."

So essentially it says that the parameter should be able to "hold" the
FINAL value (in terms of its range/size).

rules 5/6:
"A parameter with no range specification, and with either a signed type
specification or no type specification, shall have..."

Taking Rule 5: looks to me like it just fine tunes what Rule 3 said, i.e.
the parameter LSB will be 0, MSB = final_value's size-1
Taking Rule 6: if the final value is unsized, then the minimus guaranteed
range is 31:0, is what I understand.

So, I think 3 & 5 or 3 & 6 will be applicable.

Did I miss some thing?

Thanks,
Srinivasan

For a declaration of the form:

parameter signed foo = ...;

is rule 3 supposed to apply, or is one of rules 5/6 supposed to apply?

--
Srinivasan Venkataramanan

Senior Verification Engineer
Software & Silicon Systems India Pvt Ltd. - an Intel company
Bangalore, India

http://www.noveldv.com http://www.deeps.org

I don't speak for Intel