How to initialize value for a state?

[Mridu Nanda]

Hi,

I want to make a model with many initial states. I know I can use the init/endinit construct to do this. However, can I also assign an initial value to each of these states? I would appreciate any pointers!

Thanks,

Mridu

[Mridu Nanda]

Also how does "Value in initial state" relate to the values in the state printed out by the print or printall filters?

For example, I am getting the case where using a filter like filter(printall, Rmax=? [F s = END_SIM], s=END_SIM) tells me that all states have value 0. However, the value in the initial state is > 0. How should I reconcile this?

Thanks for all your help!

Mridu

[Dave Parker]

Hi Mridu,

Regarding your first question, I don't know what you mean by "assign an
initial value" to the initial states.

> Also how does "Value in initial state" relate to the values in the state
> printed out by the print or printall filters?

The value preceding "Value in initial state" in the output shows the
result of the property you are checking when starting in the initial
state of the model - this will also be shown by "printall", and by
"print" if the value is non-zero.

> For example, I am getting the case where using a filter
> like filter(printall, Rmax=? [F s = END_SIM], s=END_SIM) tells me that
> all states have value 0. However, the value in the initial state is > 0.
> How should I reconcile this?

That doesn't make sense to me. Please feel free to send the
model/properties that reproduces this behaviour.

Best wishes,

Dave