0
$\begingroup$

In StateFlow, one often uses the command e.g. on clk: count++; I wonder how the clock is counted exactly. Is it the rising edge, or the falling or does it count both?

When I enter the properties of the clock I can't see any setting about that and when simply using "on clk" I can't see it neither.

img

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.