[sv-ec] Out-of-block declarations and constraints

Section 7.22 and 13.4.1 describe out-of-block definitions for methods
and constraints. It is clear that the external definition must be in the
same local scope as the class definition, but is there a requirement
that there *must* be an external definition? The LRM for forward
typedefs have the requirement that they are to be resolved within the
local scope; however, the same wording is not used for external blocks.

 

The reason I ask is that C++ does not require a definition as long as no
one actually references the block. Could we allow this in SV? If we were
to apply the same rules for constraints, would a call to randomize()
count as a reference to all declared constraints?

 

Is this C++ feature unintentional, or is there a reasonable use model
for allowing this?

 

Dave

 

 

David Rich
Verification Technologist
Design Verification & Test Division
Mentor Graphics Corporation
dave_rich@mentor.com
Office:   408 487-7206
Cell:     510 589-2625