How to force the update of a sc_signal<bool>?

[Diego]

Hello, 

I'm implementing a class where I want to expose the state of a module, which is determined by a sc_signal<bool>. The closed/opened state of an electrical sca_rswitch to be more precise. The API client must be able to set the state and reads the same value if a get is called.

As far as I understood, doing the following is not enough, because the signal will be updated only in the "update" phase.

sc_signal<bool> my_signal;
my_signal =  true;
ASSERT(signal, true);

My question is how can I manually force the update phase? I've been using sc_start with zero time to achieve this:

sc_signal<bool> my_signal;
my_signal =  true;
sc_start(sc_core::SC_ZERO_TIME);
ASSERT(signal, true);

But I believe there's a better way. It has also the drawback that after doing this, the simulation is already started, which limits the manipulation of other parameters.

I appreciate any feedback. Thanks

[karthickg]

Why do you need an sc_signal<bool>? Why not - just bool?

[Diego]

Because I need to bind it with a sc_in<bool>. Reading the documentation I understood that it would be necessary to bind it with a sc_signal<bool>. I've just try binding with a pure bool and it does not seems to compile. Am I missing something?

[David Black]

sc_signal is designed to model concurrent assignment and therefore requires update at the after the current delta cycle completes. What you are asking for is a channel that doesn't care about race conditions. For that you can write your own implementation, but it sounds dangerous to me.

If you don't understand the above, you probably need to either read the standard specification thoroughly or take a god course on SystemC fundamentals. SystemC is not something you can just learn on the job. I've seen too many engineers fall flat on their faces due to misunderstanding the fundamentals of discrete event-driven simulation and the mechanisms of SystemC.

Make sure you have a solid C++ background as well.