You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
A common editing patter for scalable STG models is to copy a chunk of an STG and increment the last numbers of all the signals, e.g. req1 becomes req2, bit_5_ becomes bit_6_, etc. This can be automated as a transformation command on selected STG transitions.
The text was updated successfully, but these errors were encountered:
A common editing patter for scalable STG models is to copy a chunk of an STG and increment the last numbers of all the signals, e.g.
req1
becomesreq2
,bit_5_
becomesbit_6_
, etc. This can be automated as a transformation command on selected STG transitions.The text was updated successfully, but these errors were encountered: