Something

$ halrun
halcmd: loadrt not count=6
halcmd: net STOPX not.5.out => not.0.in
halcmd: net STOPX not.5.out => not.1.in
halcmd: show sig STOPX
Signals:
Type          Value  Name     (linked to)
bit           FALSE  STOPX
                         ==> not.0.in
                         ==> not.1.in
                         <== not.5.out