Unitialized const

[romi]

According to the LRM, how should the flag variable below by treated by
a synthesis tool since it is not initialized. Could the tool choose 0
or 1, but not don't care, i.e. one load couldn't be treated as a
constant 0 and another a constant 1?

const logic flag;


Thanks!

 

On Dec 2, 4:55 pm, romi <webe...@gmail.com> wrote:

According to the LRM, how should the flag variable below by treated by
a synthesis tool since it is not initialized.

The LRM specifies the behavior of a full implementation of the
language, i.e. a simulator. A synthesis tool can only approximate the
behavior specified in the LRM. The LRM cannot specify the behavior of
a tool in an area where the tool is not following the LRM. This will
be up to the tool. Ask your tool vendor.