The disconnect  keyword specifies the time delay to disconnect the guarded feature of a signal which is part of a guarded signal statement.  (See guarded and block.)

 

A disconnect statement includes—in this order—the reserved word "disconnect", the name of the guarded signal, the guarded signal’s type, the reserved word "after", and a time expression specifying the time after which the guard feature should be disconnected.  

 

In place of the guarded signal’s name, the reserved words "others" or "all" may be used.  "Others" refers to all other signal statements in the immediately enclosing declarative region which have not been specified in a separate disconnect statement.  "All" refers to all other signal statements in the declarative region.

 

A given signal driver can have only one disconnect statement.

 

LRM

    5.3