Intent is what you mentioned but giving " $stable(Signal1) && $onehot(Signal1)" would cause an issue right? Just coming after reset Signal1 would hold ‘X’ or any random value because of $stable(Signal1).
Intent is what you mentioned but giving " $stable(Signal1) && $onehot(Signal1)" would cause an issue right? Just coming after reset Signal1 would hold ‘X’ or any random value because of $stable(Signal1).