Closed jix closed 2 years ago
The $stable value change expression cannot be true for a non-x signal in the initial state. This is now correctly handled by the verific import, so the dpmem example needs to start assuming $stable only after leaving the initial state.
$stable
The $stable value change expression cannot be true for a non-x signal in the initial state. This is now correctly handled by the verific import, so the dpmem example needs to start assuming
$stableonly after leaving the initial state.