Operations in sensitivity lists !! always @(a && b) .....